Denotational semantics of membrane systems by using complete metric spaces

DOI10.1016/j.tcs.2017.08.022zbMath1382.68069DBLPjournals/tcs/CiobanuT17OpenAlexW2752023868WikidataQ57936239 ScholiaQ57936239MaRDI QIDQ1682859

Gabriel Ciobanu, Eneia Nicolae Todoran

Publication date: 6 December 2017

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2017.08.022

zbMATH Keywords

complete metric spacesmembrane systemscontinuation-passing

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (7)

A model learning based testing approach for spiking neural P systems ⋮ The power of synchronizing rules in membrane computing ⋮ Spiking neural P systems and their semantics in Haskell ⋮ Type inference for hierarchical multiset structures in rule-based systems ⋮ A process calculus for spiking neural P systems ⋮ Memory associated with membranes systems ⋮ Synchronization of rules in membrane computing

Uses Software

• Haskell

Cites Work

• Mobility in process calculi and natural computing.
• The lambda calculus. Its syntax and semantics. Rev. ed.
• A uniform solution to SAT using membrane creation
• A rewriting logic framework for operational semantics of membrane systems
• Denotational semantics of a parallel object-oriented language
• Membrane computing. An introduction.
• Continuation Passing Semantics for Membrane Systems
• Programming Language Description Languages
• A Powerdomain Construction
• Processes and the denotational semantics of concurrency
• Continuous Lattices and Domains
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Denotational semantics of membrane systems by using complete metric spaces