Please use this identifier to cite or link to this item:
http://hdl.handle.net/10077/3892
Title: | Bisimilarity, Hypersets, and Stable Partitioning: a Survey | Authors: | Omodeo, Eugenio G. | Keywords: | Partition Refinement; Bisimulation; Bisimilarity; Stability; Non-Well-Founded Sets | Issue Date: | 2010 | Publisher: | EUT Edizioni Università di Trieste | Source: | Eugenio G. Omodeo, "Bisimilarity, Hypersets, and Stable Partitioning: a Survey", in: Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics, 42 (2010), pp. 211-234. | Series/Report no.: | Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics;42 (2010) | Abstract: | Since Hopcroft proposed his celebrated $n \log n$ algorithm for minimizing states in a finite automaton, the race for efficient partition refinement methods has inspired much research in algorithmics. In parallel, the notion of bisimulation has gained ground in theoretical investigations not less than in applications, till it even pervaded the axioms of a variant Zermelo-Fraenkel set theory. As is well-known, the coarsest stable partitioning problem and the determination of bisimilarity (i.e., the largest partition stable relative to finitely many dyadic relations) are two faces of the same coin. While there is a tendency to refer these topics to varying frameworks, we will contend that the set-theoretic view not only offers a clear conceptual background (provided stability is referred to a non-well-founded membership), but is leading to new insights on the algorithmic complexity issues. |
Type: | Article | URI: | http://hdl.handle.net/10077/3892 | ISSN: | 0049-4704 |
Appears in Collections: | Rendiconti dell'Istituto di Matematica dell'Università di Trieste: an International Journal of Mathematics vol.42 (2010) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Omodeo RendMat42.pdf | 368.84 kB | Adobe PDF | ![]() View/Open |
CORE Recommender
Page view(s) 10
1,212
checked on Jan 26, 2023
Download(s) 50
684
checked on Jan 26, 2023
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.