Membrane Computing

DOI10.1007/B106721MaRDI QIDQ5316645zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(5)

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

Describes a project that uses

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)