loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
On Bisimilarities Induced by Relations on Actions
Pune, India
September 11-September 15
ISBN: 0-7695-2678-0
S. Arun-Kumar, Indian Institute of Technology, Delhi, India
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish that many of the nice properties of bisimulations and bisimilarities may be thought of as actually being inherited from properties of the underlying relations on actions. We show that many bisimulation-based orderings (including strong and weak bisimilarity) defined in the literature are instances of this generalization. We also show by an example that there are instances where the equivalence of two systems (which intuitively have the same functionality), cannot be established directly by observational equivalence, but requires a more general notion. We finally give an adaptation of the "on-the-fly algorithm" of Fernandez and Mounier for computing generalized bisimilarities.
Citation:
S. Arun-Kumar, "On Bisimilarities Induced by Relations on Actions," sefm, pp.41-49, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.