Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems

[1]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[2]  Andrzej Ehrenfeucht,et al.  Reaction Systems with Duration , 2011, Computation, Cooperation, and Life.

[3]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[4]  Giancarlo Mauri,et al.  An excursion in reaction systems: From computer science to biology , 2012, Theor. Comput. Sci..

[5]  Takashi Yokomori,et al.  The computational capability of chemical reaction automata , 2015, Natural Computing.

[6]  Kenneth M. Murphy,et al.  Decision making in the immune system: The lineage decisions of helper T cells , 2002, Nature Reviews Immunology.

[7]  Paolo Milazzo,et al.  Compositional semantics and behavioural equivalences for reaction systems with restriction , 2014, Theor. Comput. Sci..

[8]  Paolo Milazzo,et al.  Investigating dynamic causalities in reaction systems , 2016, Theor. Comput. Sci..

[9]  Luis Mendoza,et al.  A network model for the control of the differentiation process in Th cells. , 2006, Bio Systems.

[10]  Roberto Barbuti,et al.  Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation , 2020, Theor. Comput. Sci..

[11]  Sepinoud Azimi,et al.  Steady states of constrained reaction systems , 2017, Theor. Comput. Sci..

[12]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[13]  Wojciech Penczek,et al.  Towards Quantitative Verification of Reaction Systems , 2016, UCNC.

[14]  Ami Radunskaya,et al.  A delay differential equation model for tumor growth , 2003, Journal of mathematical biology.

[15]  Roberto Bruni,et al.  A logical and graphical framework for reaction systems , 2021, Theor. Comput. Sci..