The Largest Respectful Function

DOI10.2168/LMCS-12(2:11)2016zbMath1448.68349arXiv1605.04136MaRDI QIDQ5739896

Joachim Parrow, Tjark Weber

Publication date: 6 July 2016

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

bisimulationcoinductionup-to techniquescompanion

Mathematics Subject Classification ID

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

Related Items (6)

Tower Induction and Up-to Techniques for CCS with Fixed Points ⋮ Diacritical companions ⋮ Companions, Codensity and Causality ⋮ Up-To Techniques for Behavioural Metrics via Fibrations ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ Corecursion up-to via causal transformations

This page was built for publication: The Largest Respectful Function