Continuation passing semantics for membrane systems

DOI10.1007/978-3-319-54072-6_11MaRDI QIDQ2975910zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Gabriel Ciobanu, Eneia Nicolae Todoran

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

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

Recommendations

• Denotational semantics of membrane systems by using complete metric spaces
• Concurrency semantics in continuation-passing style
• Process semantics for membrane systems
• Describing membrane computations with a chemical calculus
• Compositional semantics and behavioral equivalences for P systems

Cites work

• A Powerdomain Construction
• A rewriting logic framework for operational semantics of membrane systems
• Continuation Semantics for Asynchronous Concurrency
• Continuous Lattices and Domains
• scientific article; zbMATH DE number 1049043 (Why is no real title available?)
• Mathematics of multisets in the Fraenkel-Mostowski framework

Cited in

(2)

• Denotational semantics of membrane systems by using complete metric spaces
• Concurrency semantics in continuation-passing style

This page was built for publication: Continuation passing semantics for membrane systems

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