Bisimulation Congruences in the Calculus of Looping Sequences
From MaRDI portal
Publication:3525142
DOI10.1007/11921240_7zbMath1168.68435OpenAlexW1559033975MaRDI QIDQ3525142
Angelo Troina, Andrea Maggiolo-Schettini, Paolo Milazzo, Roberto Barbuti
Publication date: 11 September 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11921240_7
Related Items
An algorithm for the identification of components in biochemical pathways ⋮ Compositional semantics and behavioural equivalences for reaction systems with restriction ⋮ Typed stochastic semantics for the calculus of looping sequences ⋮ Bisimulations in calculi modelling membranes ⋮ Enumerated type semantics for the calculus of looping sequences ⋮ nano\(\kappa\): A calculus for the modeling and simulation of nano devices ⋮ Type Disciplines for Analysing Biologically Relevant Properties ⋮ The Calculus of Looping Sequences for Modeling Biological Membranes ⋮ Component identification in biochemical pathways
This page was built for publication: Bisimulation Congruences in the Calculus of Looping Sequences