Bisimulation Congruences in the Calculus of Looping Sequences

DOI10.1007/11921240_7MaRDI QIDQ3525142zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

Recommendations

• Bisimulation congruence of -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 -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

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)