Divergence and unique solution of equations

MaRDI QIDQ5228882zbMATH OpenFDO

Authors Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi

Publication date 13 August 2019

Full work available at URL https://arxiv.org/abs/1806.11354

zbMATH Keywords

bisimilarityprocess calculiterminationunique 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

• A general account of coinduction up-to
• A Theory of Communicating Sequential Processes
• An Alternative Order for the Failures Model
• Bisimulation can't be traced
• Coalgebraic bisimulation-up-to
• Coinduction All the Way Up
• Divergence and unique solution of equations
• Divide and congruence. II: Delay and weak bisimilarity
• Eager functions as processes
• Enhancements of the bisimulation proof method
• Ensuring termination by typability
• Equations, contractions, and unique solutions
• Functions as processes
• Handbook of process algebra
• 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?)
• Modeling and analysis of communicating systems
• Process Algebra
• Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
• Productive coprogramming with guarded recursion
• 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

Cited in

(9)

• Unique solutions of contractions, CCS, and their HOL formalisation
• Bisimulation and coinduction enhancements: a historical perspective
• Towards `up to context' reasoning about higher-order processes
• The proof technique of unique solutions of contractions
• Unique solutions of contractions, CCS, and their HOL formalisation
• Divergence and unique solution of equations
• Divergence and unique solution of equations
• Extensional and non-extensional functions as processes
• Strong induction is an up-to technique

Describes a project that uses

Uses Software

• Coq
• GitHub

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 Q5228882)