Encoding Distributed Process Calculi into LMNtal

Citations of this article
Mendeley users who have this article in their library.


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. © 2008 Elsevier B.V. All rights reserved.




Ueda, K. (2008). Encoding Distributed Process Calculi into LMNtal. Electronic Notes in Theoretical Computer Science, 209(C), 187–200. https://doi.org/10.1016/j.entcs.2008.04.012

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free