Membrane Computing

DOI10.1007/B106721zbMATH Open1117.68415OpenAlexW2760751007MaRDI QIDQ5316645FDOQ5316645

Norio Kato, Kazunori Ueda

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)

Cited In (4)

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

Uses Software

• LMNtal

   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 👍 👎
• Title not available (Why is that?) 👍 👎

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)