Encoding Distributed Process Calculi into LMNtal

DOI10.1016/J.ENTCS.2008.04.012zbMath1279.68268OpenAlexW1982475312MaRDI QIDQ2870199

Kazunori Ueda

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.012

zbMATH Keywords

ambient calculushierarchical graph rewritingLMNtaldistributed process calculiself-adjusting name management

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items (2)

Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting ⋮ LMNtal as a hierarchical logic programming language

Uses Software

• LMNtal

Cites Work

• Mobile ambients
• Theory and practice of constraint handling rules
• Membrane Computing
• LMNtal as a Unifying Declarative Language: Live Demonstration
• Unnamed Item
• Unnamed Item

This page was built for publication: Encoding Distributed Process Calculi into LMNtal