eprintid: 350
rev_number: 13
eprint_status: archive
userid: 32
dir: disk0/00/00/03/50
datestamp: 2011-06-13 12:42:11
lastmod: 2014-10-07 14:38:28
status_changed: 2011-06-13 12:42:11
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_name: Labella, Anna
creators_id: r.denicola@imtlucca.it
creators_id: 
title: Tree morphisms and bisimulations
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: MFCS'98 Workshop on Concurrency
abstract: 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.
date: 1998
date_type: published
publication: Electronic Notes in Theoretical Computer Science
volume: 18
publisher: Elsevier
pagerange: 46-64
id_number: 10.1016/S1571-0661(05)80249-X
refereed: TRUE
issn: 1571-0661
official_url: http://www.sciencedirect.com/science/article/pii/S157106610580249X
citation:   De Nicola, Rocco and Labella, Anna  Tree morphisms and bisimulations.  Electronic Notes in Theoretical Computer Science, 18.  pp. 46-64.  ISSN 1571-0661      (1998)  
document_url: http://eprints.imtlucca.it/350/1/DeNicola_Labella_1998.pdf