relation: http://eprints.imtlucca.it/350/
title: Tree morphisms and bisimulations
creator: De Nicola, Rocco
creator: Labella, Anna
subject: QA75 Electronic computers. Computer science
description: A category of (action labelled) trees is defined that can be used to model unfolding of labelled transition systems and to study behavioural relations over them. In this paper we study five different equivalences based on bisimulation for our model. One, that we called resource bisimulation, amounts essentially to three isomorphism. Another, its weak counterpart, permits abstracting from silent actions while preserving the tree structure. The other three are the well known strong, branching and weak bisimulation equivalence. For all bisimulations, but weak, canonical representatives are constructed and it is shown that they can be obtained via enriched functors over our categories of trees, with and without silent actions. Weak equivalence is more problematic; a canonical minimal representative for it cannot be denned by quotienting our trees. The common framework helps in understanding the relationships between the various equivalences and the results provide support to the claim that branching bisimulation is the natural generalization of strong bisimulation to systems with silent moves and that resource and weak resource have an interest of their own.
publisher: Elsevier
date: 1998
type: Article
type: PeerReviewed
format: application/pdf
language: en
rights: cc_by_nd
identifier: http://eprints.imtlucca.it/350/1/DeNicola_Labella_1998.pdf
identifier:   De Nicola, Rocco and Labella, Anna  Tree morphisms and bisimulations.  Electronic Notes in Theoretical Computer Science, 18.  pp. 46-64.  ISSN 1571-0661      (1998)  
relation: http://www.sciencedirect.com/science/article/pii/S157106610580249X
relation: 10.1016/S1571-0661(05)80249-X