The chemical abstract machine Export

@inproceedings{citeulike:959328, abstract = {We introduce a new kind of abstract machine based on the chemical metaphor used in the \&Ggr; language of Ban\âtre \& al . States of a machine are chemical solutions where floating molecules can interact according to reaction rules. Solutions can be stratified by encapsulating subsolutions within membranes that force reactions to occur locally. We illustrate the use of this model by describing the operational semantics of the TCCS and CCS process calculi. We also show how to extract a higher-order concurrent \&lgr;-calculus out of the basic concepts of the chemical abstract machine.}, address = {New York, NY, USA}, author = {Berry, Gerard and Boudol, Gerard}, booktitle = {POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, citeulike-article-id = {959328}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=96717}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/96709.96717}, doi = {10.1145/96709.96717}, isbn = {0-89791-343-4}, keywords = {concurrency, concurrent-logic-programming, process-calculi}, location = {San Francisco, California, United States}, pages = {81--94}, posted-at = {2007-07-04 17:57:57}, priority = {2}, publisher = {ACM}, title = {The chemical abstract machine}, url = {http://dx.doi.org/10.1145/96709.96717}, year = {1990} }

TY - CONF ID - citeulike:959328 L3 - citeulike-article-id:959328 N2 - We introduce a new kind of abstract machine based on the chemical metaphor used in the &Ggr; language of Banâtre & al . States of a machine are chemical solutions where floating molecules can interact according to reaction rules. Solutions can be stratified by encapsulating subsolutions within membranes that force reactions to occur locally. We illustrate the use of this model by describing the operational semantics of the TCCS and CCS process calculi. We also show how to extract a higher-order concurrent &lgr;-calculus out of the basic concepts of the chemical abstract machine. CY - San Francisco, California, United States SN - 0-89791-343-4 AD - New York, NY, USA EP - 94 TI - The chemical abstract machine PB - ACM T2 - POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages SP - 81 KW - concurrency KW - concurrent-logic-programming KW - process-calculi AU - Berry, Gerard AU - Boudol, Gerard PY - 1990/// UR - http://dx.doi.org/10.1145/96709.96717 ER -