A process algebraic approach to reaction systems (Q2044947): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2020.09.001
+Normal rank
@@ Property / OpenAlex ID @@
+W3084373822
@@ Property / OpenAlex ID: W3084373822 / rank @@
+Normal rank
@@ Property / cites work @@
+A TOUR OF REACTION SYSTEMS
@@ Property / cites work: A TOUR OF REACTION SYSTEMS / rank @@
+Normal rank
@@ Property / cites work @@
+Reaction System Models for the Heat Shock Response
+Normal rank
@@ Property / cites work @@
+An excursion in reaction systems: from computer science to biology
+Normal rank
@@ Property / cites work @@
+Steady states of constrained reaction systems
@@ Property / cites work: Steady states of constrained reaction systems / rank @@
+Normal rank
@@ Property / cites work @@
+Investigating dynamic causalities in reaction systems
+Normal rank
@@ Property / cites work @@
+The computational capability of chemical reaction automata
+Normal rank
@@ Property / cites work @@
+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
+Normal rank
@@ Property / cites work @@
+A formal approach to open multiparty interactions
@@ Property / cites work: A formal approach to open multiparty interactions / rank @@
+Normal rank
@@ Property / cites work @@
+Open Multiparty Interaction
@@ Property / cites work: Open Multiparty Interaction / rank @@
+Normal rank
@@ Property / cites work @@
+The \texttt{link}-calculus for open multiparty interactions
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding Mobile Ambients into the π-Calculus
@@ Property / cites work: Encoding Mobile Ambients into the π-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness of π-calculus for encoding mobile ambients
+Normal rank
@@ Property / cites work @@
+A Flat Process Calculus for Nested Membrane Interactions
+Normal rank
@@ Property / cites work @@
+Q3883467
@@ Property / cites work: Q3883467 / rank @@
+Normal rank
@@ Property / cites work @@
+Controlled reversibility in reaction systems
@@ Property / cites work: Controlled reversibility in reaction systems / rank @@
+Normal rank
@@ Property / cites work @@
+Networks of Reaction Systems
@@ Property / cites work: Networks of Reaction Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking temporal properties of reaction systems
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Equational properties of mobile ambients
@@ Property / cites work: Equational properties of mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulations in calculi modelling membranes
@@ Property / cites work: Bisimulations in calculi modelling membranes / rank @@
+Normal rank
@@ Property / cites work @@
+Forward and Backward Bisimulations for Chemical Reaction Networks
+Normal rank
@@ Property / cites work @@
+A proof theoretic view of spatial and temporal dependencies in biochemical systems
+Normal rank
@@ Property / cites work @@
+A static analysis for brane calculi providing global occurrence counting information
+Normal rank
@@ Property / cites work @@
+Static Evidences for Attack Reconstruction
@@ Property / cites work: Static Evidences for Attack Reconstruction / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Semantics for Multiparty Interactions in the Link-Calculus
+Normal rank