References & Citations
Computer Science > Logic in Computer Science
Title: The Largest Respectful Function
(Submitted on 13 May 2016 (v1), last revised 28 Jun 2016 (this version, v3))
Abstract: Respectful functions were introduced by Sangiorgi as a compositional tool to formulate short and clear bisimulation proofs. Usually, the larger the respectful function, the easier the bisimulation proof. In particular the largest respectful function, defined as the pointwise union of all respectful functions, has been shown to be very useful. We here provide an explicit and constructive characterization of it.
Submission history
From: Jürgen Koslowski [view email] [via LOGICAL proxy][v1] Fri, 13 May 2016 11:25:26 GMT (10kb)
[v2] Mon, 16 May 2016 09:34:50 GMT (10kb)
[v3] Tue, 28 Jun 2016 19:46:47 GMT (18kb)
Link back to: arXiv, form interface, contact.