A Compositional Semantics of Reaction Systems with Restriction

DOI10.1007/978-3-642-39053-1_39MaRDI QIDQ5326381zbMATH OpenOpenAlexFDO

Authors Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini

Publication date 5 August 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39053-1_39

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Biochemistry, molecular biology (92C40)

Recommendations

• Compositional semantics and behavioural equivalences for reaction systems with restriction
• Compositional reactive semantics of SystemC and verification with RuleBase
• Functional constructions between reaction systems and propositional logic
• A compositional framework for reaction networks
• The refinement calculus of reactive systems
• Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi
• A coalgebraic theory of reactive systems
• scientific article; zbMATH DE number 1088026
• Complexity of model checking for reaction systems

Cited in

(7)

• Mutual exclusion and reversibility in reaction systems
• Transactions and contracts based on reaction systems
• Component identification in biochemical pathways
• Investigating dynamic causalities in reaction systems
• An algorithm for the identification of components in biochemical pathways
• Compositional semantics and behavioural equivalences for reaction systems with restriction
• Enhancing Reaction Systems: A Process Algebraic Approach

This page was built for publication: A Compositional Semantics of Reaction Systems with Restriction

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