2019
DOI: 10.1007/s00165-019-00497-w
|View full text |Cite
|
Sign up to set email alerts
|

Bisimulation and Coinduction Enhancements: A Historical Perspective

Abstract: Bisimulation is an instance of coinduction. Both bisimulation and coinduction are today widely used, in many areas of Computer Science, as well as outside Computer Science. Over, roughly, the last 25 years, enhancements of the principles and methods related to bisimulation and coinduction (i.e., techniques to make proofs shorter and simpler) have become a research topic on its own. In the paper the origins and the developments of the topic are reviewed.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

0
7
0

Year Published

2020
2020
2024
2024

Publication Types

Select...
5
3
1

Relationship

3
6

Authors

Journals

citations
Cited by 14 publications
(7 citation statements)
references
References 89 publications
(102 reference statements)
0
7
0
Order By: Relevance
“…Enhancements of corecursion schemes may also be examined using the generalised powerset construction [Silva et al 2010]. For the more details on coinductive enhancements, we refer to the technical survey [Pous and Sangiorgi 2012] and to the historical review [Pous and Sangiorgi 2019].…”
Section: Comparisons and Related Workmentioning
confidence: 99%
“…Enhancements of corecursion schemes may also be examined using the generalised powerset construction [Silva et al 2010]. For the more details on coinductive enhancements, we refer to the technical survey [Pous and Sangiorgi 2012] and to the historical review [Pous and Sangiorgi 2019].…”
Section: Comparisons and Related Workmentioning
confidence: 99%
“…The present article provides a retrospective account of 40 years of research in equivalence-checking techniques for concurrent systems. Compared to prior surveys on bisimulations [406] [20], we focus here on the design of algorithms and software tools for the implementation of bisimulations on finite-state systems, leaving aside all aspects related to theorem proving -see [364] for a survey on bisimulation as a proof method. The article is organized chronologically: Sections 2-5 present the main achievements done during the 1980s, 1990s, 2000s, and 2010s decades, respectively, and Section 6 gives a few concluding remarks.…”
Section: Introductionmentioning
confidence: 99%
“…• Conditional bisimulation relations tend to be very large -often infinite in size. To obtain possibly substantial reductions of proof obligations in a bisimulation proof, we propose an up-to context technique (for up-to techniques and their history see [PS19]). In particular, it can replace an infinite conditional bisimulation relation by a possibly finite bisimulation up-to context, which provides a witness for bisimilarity.…”
Section: Introductionmentioning
confidence: 99%