TY - JOUR
T1 - Encoding Distributed Process Calculi into LMNtal
AU - Ueda, Kazunori
N1 - Funding Information:
Acknowledgments. The author would like to thank the current and former members of the LMNtal development team who jointly built our publicly available LMNtal implementation. This work is partially supported by Grant-In-Aid for Scientific Research ((B)(2) 16300009; Priority Areas (C)(2)13324050, (B)(2)14085205 and 04560009), MEXT and JSPS.
PY - 2008/4/24
Y1 - 2008/4/24
N2 - Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting that uses logical variables to represent connectivity and membranes to represent hierarchy. Diverse computational models including the π-calculus and the λ-calculus have been encoded into LMNtal and tested on our LMNtal system. This paper describes the encoding of the ambient calculus with running examples. The technical crux is the distributed management of names in the presence of locality an mobility. We have designed and implemented a self-adjusting management technique of names in which the name management and mobility operations are performed concurrently.
AB - Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting that uses logical variables to represent connectivity and membranes to represent hierarchy. Diverse computational models including the π-calculus and the λ-calculus have been encoded into LMNtal and tested on our LMNtal system. This paper describes the encoding of the ambient calculus with running examples. The technical crux is the distributed management of names in the presence of locality an mobility. We have designed and implemented a self-adjusting management technique of names in which the name management and mobility operations are performed concurrently.
KW - Ambient calculus
KW - Distributed process calculi
KW - Hierarchical graph rewriting
KW - LMNtal
KW - Self-adjusting name management
UR - http://www.scopus.com/inward/record.url?scp=42949110063&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=42949110063&partnerID=8YFLogxK
U2 - 10.1016/j.entcs.2008.04.012
DO - 10.1016/j.entcs.2008.04.012
M3 - Article
AN - SCOPUS:42949110063
SN - 1571-0661
VL - 209
SP - 187
EP - 200
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
IS - C
ER -