Divergence and unique solution of equations

DOI10.4230/LIPICS.CONCUR.2017.11zbMATH Open1442.68135MaRDI QIDQ5111623FDOQ5111623

Davide Sangiorgi, Adrien Durier, Daniel Hirschkoff

Publication date: 27 May 2020

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

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)

Cites Work

• Structured operational semantics and bisimulation as a congruence
• Coalgebraic Bisimulation-Up-To
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Functions as processes
• Title not available (Why is that?)
• Bisimulation can't be traced
• Theoretical Aspects of Computing – ICTAC 2005
• SOS formats and meta-theory: 20 years after
• A Theory of Communicating Sequential Processes
• Understanding concurrent systems
• The \(\pi\)-calculus: A theory of mobile processes
• Title not available (Why is that?)
• Title not available (Why is that?)
• CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
• Strong normalisation in the \(\pi\)-calculus
• A general account of coinduction up-to
• Using bisimulation proof techniques for the analysis of distributed abstract machines
• An Alternative Order for the Failures Model
• Divide and Congruence II
• Coinduction All the Way Up
• Termination in Impure Concurrent Languages
• Trees from Functions as Processes
• Equations, contractions, and unique solutions

Cited In (5)

• Title not available (Why is that?)
• Unique solutions of contractions, CCS, and their HOL formalisation
• Eager functions as processes
• Title not available (Why is that?)
• Trees from Functions as Processes

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)