A Temporal Logic for Mutual Mobile Membranes with Objects on Surface

DOI10.1007/978-3-642-20000-7_11zbMath1330.68063OpenAlexW125090424MaRDI QIDQ3009342

Bogdan Aman, Gabriel Ciobanu

Publication date: 24 June 2011

Published in: Computation, Cooperation, and Life (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20000-7_11

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Temporal logic (03B44)

Cites Work

• A rewriting logic framework for operational semantics of membrane systems
• Recognizing safety and liveness
• Encoding Mobile Ambients into the π-Calculus
• On the Reachability Problem in P Systems with Mobile Membranes
• Unnamed Item
• Unnamed Item

This page was built for publication: A Temporal Logic for Mutual Mobile Membranes with Objects on Surface