Divergence and unique solution of equations

DOI10.4230/LIPICS.CONCUR.2017.11MaRDI QIDQ5111623zbMATH OpenFDO

Authors Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi

Publication date 27 May 2020

zbMATH Keywords

terminationprocess calculibisimilarityunique solution of equations

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Divergence and unique solution of equations
• Equations, contractions, and unique solutions
• Equations, contractions, and unique solutions
• The equational theory of prebisimilarity over basic CCS with divergence
• The proof technique of unique solutions of contractions

Cites work

• scientific article; zbMATH DE number 3902016 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• A general account of coinduction up-to
• An Alternative Order for the Failures Model
• Bisimulation can't be traced
• CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
• Coalgebraic bisimulation-up-to
• Coinduction All the Way Up
• Divide and congruence. II: Delay and weak bisimilarity
• Equations, contractions, and unique solutions
• Functions as processes
• Modeling and analysis of communicating systems
• Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
• SOS formats and meta-theory: 20 years after
• Strong normalisation in the \(\pi\)-calculus
• Structured operational semantics and bisimulation as a congruence
• Termination in impure concurrent languages
• The -calculus: A theory of mobile processes
• Theoretical Aspects of Computing – ICTAC 2005
• Trees from functions as processes
• Understanding concurrent systems
• Using bisimulation proof techniques for the analysis of distributed abstract machines

Cited in

(7)

• scientific article; zbMATH DE number 7447778 (Why is no real title available?)
• Unique solutions of contractions, CCS, and their HOL formalisation
• Divergence and unique solution of equations
• The proof technique of unique solutions of contractions
• Eager functions as processes
• Trees from functions as processes
• scientific article; zbMATH DE number 7407797 (Why is no real title available?)

This page was built for publication: Divergence and unique solution of equations

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