Membrane Computing

DOI10.1007/B106721zbMATH Open1117.68415OpenAlexW2760751007MaRDI QIDQ5316645FDOQ5316645

Authors: Kazunori Ueda, Norio Kato 

Publication date: 14 September 2005

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

Full work available at URL: https://doi.org/10.1007/b106721

Recommendations

• LMNtal as a Unifying Declarative Language: Live Demonstration
• LMNtal as a hierarchical logic programming language
• Encoding distributed process calculi into LMNtal
• Constraint-based concurrency and beyond
• scientific article; zbMATH DE number 1900807

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42)

Cited In (5)

• Encoding distributed process calculi into LMNtal
• Constraint-Based Concurrency and Beyond
• Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting
• LMNtal as a Unifying Declarative Language: Live Demonstration
• LMNtal as a hierarchical logic programming language

Uses Software

• LMNtal

This page was built for publication: Membrane Computing

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