scientific article; zbMATH DE number 7020132

MaRDI QIDQ4621133zbMATH OpenFDO

Authors G. Michele Pinna, Andrea Saba

Publication date 8 February 2019

zbMATH Keywords

formal modelingmembrane structureP systemsemanticszero safe net

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Cell biology (92C37) Systems biology, networks (92C42)

Recommendations

• An event based semantics of P-systems
• An algebraic semantics of event-based architectures
• Declarative event based models of concurrency and refinement in psi-calculi
• Event-Driven Metamorphoses of P Systems
• An event structure semantics for general Petri nets
• Transition systems from event structures revisited
• Event-related outputs of computations in P systems
• Denotational semantics and its algebraic derivation for an event-driven system-level language
• A compositional sheaf-theoretic framework for event-based systems
• Denotational Approach to an Event-Driven System-Level Language

Cited in

(6)

• An event based semantics of P-systems
• Folk Theorems on the Correspondence between State-Based and Event-Based Systems
• Denotational Approach to an Event-Driven System-Level Language
• Modeling dependencies and simultaneity in membrane system computations
• Mean-field semantics for a process calculus for spatially-explicit ecological models
• Rule-based and object-based event structures for membrane systems

This page was built for publication:

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