Continuation Passing Semantics for Membrane Systems

DOI10.1007/978-3-319-54072-6_11zbMath1483.68114OpenAlexW2588768721WikidataQ57936256 ScholiaQ57936256MaRDI QIDQ2975910

Eneia Nicolae Todoran, Gabriel Ciobanu

Publication date: 12 April 2017

Published in: Membrane Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-54072-6_11

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Related Items (1)

Denotational semantics of membrane systems by using complete metric spaces

Cites Work

• A rewriting logic framework for operational semantics of membrane systems
• A Powerdomain Construction
• Continuous Lattices and Domains
• Continuation Semantics for Asynchronous Concurrency
• Unnamed Item
• Unnamed Item

This page was built for publication: Continuation Passing Semantics for Membrane Systems