Model checking temporal properties of reaction systems
From MaRDI portal
Publication:1749193
DOI10.1016/j.ins.2015.03.048zbMath1387.68167OpenAlexW1995984957MaRDI QIDQ1749193
Grzegorz Rozenberg, Wojciech Penczek, Artur Męski
Publication date: 16 May 2018
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2015.03.048
Related Items
Complexity of model checking for reaction systems ⋮ Controlled reversibility in communicating reaction systems ⋮ Plug-in context providers for reaction systems ⋮ Reaction Systems, Transition Systems, and Equivalences ⋮ Unnamed Item ⋮ Facilitation in reaction systems ⋮ Simulation of reaction systems by the strictly minimal ones ⋮ Simulating reversible computation with reaction systems ⋮ Controllability of reaction systems ⋮ Model checking temporal properties of reaction systems ⋮ Ranks of strictly minimal reaction systems induced by permutations ⋮ A process algebraic approach to reaction systems ⋮ Asynchrony and persistence in reaction systems ⋮ Reaction systems with influence on environment ⋮ Towards Quantitative Verification of Reaction Systems ⋮ Transition graphs of reversible reaction systems ⋮ Languages of distributed reaction systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Complexity of model checking for reaction systems
- Minimal and almost minimal reaction systems
- On probabilistic and quantum reaction systems
- Reaction automata
- Dependency graphs and mass conservation in reaction systems
- Model-checking in dense real-time
- An excursion in reaction systems: from computer science to biology
- Introducing time in reaction systems
- Model checking temporal properties of reaction systems
- Functions and sequences generated by reaction systems
- FUNCTIONAL CONSTRUCTIONS BETWEEN REACTION SYSTEMS AND PROPOSITIONAL LOGIC
- On State Sequences Defined by Reaction Systems
- A TOUR OF REACTION SYSTEMS
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Graph-Based Algorithms for Boolean Function Manipulation
- Reaction Systems: A Natural Computing Approach to the Functioning of Living Cells
- Fixed Points and Attractors of Reaction Systems
- CONCUR 2004 - Concurrency Theory
- Reaction System Models for the Heat Shock Response
- Symbolic Model Checking of Logics with Actions
- Cycles and Global Attractors of Reaction Systems
