Towards a Theory of Strong Bisimulation for the Service Rendezvous

Michael Baldamus ()
Additional contact information
Michael Baldamus: Technische Universität Berlin, Institut für Software und Theoretische Informatik, Sekretariat FR 6-10

A chapter in Quality of Communication-Based Systems, 1995, pp 53-67 from Springer

Abstract: Abstract In the present paper we start from an operational frame-work of concurrent processes in which the discipline of process inter-action is the service rendezvous. Our objective consists in examin-ing two notions of rendezvous based strong bisimulation equivalence. The first one is quite immediate and we can prove that it is a con-gruence. The second one is slightly less immediate but for it we can give a neat alternative characterization in terms of a minor variant of Aczel’s ε—bisimulation. Our motivation for using ε—bisimulation stems from the presence of conceptual non—well—foundedness in our framework. What is cru-cial, we bring this form of bisimulation to bear not in a set theoretical but in a logical context. Despite conceptual non—well—foundedness we, thus, do not have to leave standard set theory. The conceptual non—well—foundedness is induced by a (very lim-ited) higher order capability. To overcome certain technical difficul-ties arising in connection with it we transfer methods developed by Thomsen in the context of his Plain CHOCS higher order process cal-culus. In neither direction, however, a meaningful embedding seems to be possible.

Keywords: Operational Semantic; Label Transition System; Semantic Domain; Alternative Characterization; Domain Equation (search for similar items in EconPapers)
Date: 1995
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-94-011-0187-5_4

Ordering information: This item can be ordered from
http://www.springer.com/9789401101875

DOI: 10.1007/978-94-011-0187-5_4

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().