A process algebraic approach to reaction systems
From MaRDI portal
Publication:2044947
DOI10.1016/j.tcs.2020.09.001OpenAlexW3084373822MaRDI QIDQ2044947
Moreno Falaschi, Linda Brodo, Roberto Bruni
Publication date: 11 August 2021
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2020.09.001
Uses Software
Cites Work
- Unnamed Item
- Investigating dynamic causalities in reaction systems
- An excursion in reaction systems: from computer science to biology
- Bisimulations in calculi modelling membranes
- Mobile ambients
- Steady states of constrained reaction systems
- A formal approach to open multiparty interactions
- Controlled reversibility in reaction systems
- Model checking temporal properties of reaction systems
- The art of modelling computational systems: a journey from logic and concurrency to security and privacy. Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday
- The \texttt{link}-calculus for open multiparty interactions
- The computational capability of chemical reaction automata
- A static analysis for brane calculi providing global occurrence counting information
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- Open Multiparty Interaction
- A TOUR OF REACTION SYSTEMS
- Symbolic Semantics for Multiparty Interactions in the Link-Calculus
- On the expressiveness of π-calculus for encoding mobile ambients
- Encoding Mobile Ambients into the π-Calculus
- Static Evidences for Attack Reconstruction
- A Flat Process Calculus for Nested Membrane Interactions
- Equational properties of mobile ambients
- Barbed bisimulation
- Networks of Reaction Systems
- Forward and Backward Bisimulations for Chemical Reaction Networks
- Reaction System Models for the Heat Shock Response
This page was built for publication: A process algebraic approach to reaction systems
