You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

A Relation-Algebraic Theory of Bisimulations

Article type: Research Article

Authors: Winter, Michael

Affiliations: Department of Computer Science, Brock University, St. Catharines, Ontario, Canada, L2S 3A1. E-mail: mwinter@brocku.ca

Abstract: In this paper we develop an algebraic/categorical theory of bisimulations using relational methods. We define a general notion, which is capable of handeling different version of bisimilarity in a common context. Furthermore, the approach relates bisimulations with the notion of a covering known from the theory of graphs and their applications in topology and complex analysis.

Journal: Fundamenta Informaticae, vol. 83, no. 4, pp. 429-449, 2008

Received 12 May 2008
|
Accepted 12 May 2008
|
Published: 2008
Price: EUR 27.50
Show more