New up-to techniques for weak bisimulation

DOI10.1016/J.TCS.2007.02.060MaRDI QIDQ2373744zbMATH OpenOpenAlexFDO

Authors Damien Pous

Publication date 16 July 2007

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2007.02.060

zbMATH Keywords

terminationcommutationup-to techniquesweak bisimilarity

Mathematics Subject Classification ID

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

Recommendations

• Automata, Languages and Programming
• Weak Bisimulation Up to Elaboration
• Weak Bisimulation Approximants
• Beyond Bisimulation: The “up-to” Techniques
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Computing maximal weak and other bisimulations
• Publication:4941915
• Enhancements of the bisimulation proof method
• Towards weak bisimulation for coalgebras

Cites work

• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• scientific article; zbMATH DE number 2090726 (Why is no real title available?)
• An efficiency preorder for processes
• Automata, Languages and Programming
• Diagram techniques for confluence
• On Bisimulation Proofs for the Analysis of Distributed Abstract Machines
• On the bisimulation proof method
• The \(\pi\)-calculus: A theory of mobile processes

Cited in

(19)

• scientific article; zbMATH DE number 7447778 (Why is no real title available?)
• Bisimulation verification using the up to techniques
• Unique solutions of contractions, CCS, and their HOL formalisation
• Bisimulation and coinduction enhancements: a historical perspective
• Up-to techniques for branching bisimilarity
• (Bi)simulations up-to characterise process semantics
• On cool congruence formats for weak bisimulations
• Bisimulations up-to: beyond first-order transition systems
• Weak Bisimulation Up to Elaboration
• Coalgebraic bisimulation-up-to
• Congruent weak bisimulation with dense real-time
• Up-to techniques for generalized bisimulation metrics
• Using bisimulation proof techniques for the analysis of distributed abstract machines
• Preorder-constrained simulations for program refinement with effects
• Beyond Bisimulation: The “up-to” Techniques
• Lax bialgebras and up-to techniques for weak bisimulations
• Automata, Languages and Programming
• Confluence by Decreasing Diagrams
• A general account of coinduction up-to

Describes a project that uses

Uses Software

• Coq

This page was built for publication: New up-to techniques for weak bisimulation

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