Bisimulation Congruences in the Calculus of Looping Sequences

DOI10.1007/11921240_7zbMATH Open1168.68435OpenAlexW1559033975MaRDI QIDQ3525142FDOQ3525142

Authors: Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina 

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

Recommendations

• Bisimulation congruence of \(\chi\)-calculus
• Bisimulations generated from corecursive equations
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 2219130
• Logic-induced bisimulations
• Bisimulation and divergence
• A theory of bisimulation for the \(\pi\)-calculus
• Bisimulations in the join-calculus
• Congruence of bisimulation in a non-deterministic call-by-need lambda calculus
• On Bisimulation Theory in Linear Higher-Order π-Calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (15)

• nano\(\kappa\): A calculus for the modeling and simulation of nano devices
• An algorithm for the identification of components in biochemical pathways
• Compositional semantics and behavioural equivalences for reaction systems with restriction
• Type Disciplines for Analysing Biologically Relevant Properties
• Typed stochastic semantics for the calculus of looping sequences
• Bisimulations in calculi modelling membranes
• The Calculus of Looping Sequences for Modeling Biological Membranes
• Constrained simulations, nested simulation semantics and counting bisimulations
• Modelling biochemical pathways with the calculus of looping sequences
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Coinductive counting: bisimulation in enumerative combinatorics (extended abstract)
• Component identification in biochemical pathways
• A calculus of looping sequences with local rules
• Enumerated type semantics for the calculus of looping sequences
• Calculating Invariants as Coreflexive Bisimulations

This page was built for publication: Bisimulation Congruences in the Calculus of Looping Sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525142)