Encoding distributed process calculi into LMNtal

DOI10.1016/J.ENTCS.2008.04.012MaRDI QIDQ2870199zbMATH OpenOpenAlexFDO

Authors 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 calculusdistributed process calculihierarchical graph rewritingLMNtalself-adjusting name management

Mathematics Subject Classification ID

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

Recommendations

• Encoding mobile ambients into the \(\pi \)-calculus
• A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST
• On the expressiveness of -calculus for encoding mobile ambients
• LMNtal as a hierarchical logic programming language
• On the expressiveness of the -calculus and the mobile ambients

Cites work

• scientific article; zbMATH DE number 1863157 (Why is no real title available?)
• scientific article; zbMATH DE number 2242583 (Why is no real title available?)
• LMNtal as a Unifying Declarative Language: Live Demonstration
• Membrane Computing
• Mobile ambients
• Theory and practice of constraint handling rules

Cited in

(5)

• LMNtal as a hierarchical logic programming language
• Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting
• Constraint-based concurrency and beyond
• Membrane Computing
• LMNtal as a Unifying Declarative Language: Live Demonstration

Describes a project that uses

Uses Software

• LMNtal

This page was built for publication: Encoding distributed process calculi into LMNtal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2870199)