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