Universidad Complutense de Madrid
E-Prints Complutense

Constrained simulations, nested simulation semantics and counting bisimulations

Impacto

Downloads

Downloads per month over past year



Frutos Escrig, David de and Gregorio Rodríguez, Carlos (2008) Constrained simulations, nested simulation semantics and counting bisimulations. In Proceedings of the Seventh Spanish Conference on Programming and Computer Languages (PROLE 2007). Electronic Notes in Theoretical Computer Science (206). Elsevier Science, pp. 41-58. ISBN 1571-0661

[img]
Preview
PDF
353kB


Abstract

Nested simulations define an interesting hierarchy of semantic preorders and equivalences in which every semantics refines the previous one and it is refined by the following. This nested nature provides a fruitful framework for the study of the formal meaning and the properties of concurrent processes. In this paper we present the notion of constrained simulation that, although rather simple, allows us to find general results for a wide family of semantics. In particular, we provide an axiomatization for both the preorder and the equivalence induced by any constrained simulation. Nested simulations are constrained simulations and therefore our results can be instantiated directly to them. Besides, constrained simulations suggest the definition of a new family of semantics, generalised nested simulation semantics, constructed over the base of any order relation, instead of plain simulation. Finally, we conclude the study of the (generalised) nested semantics defining a generalisation of bisimulation relations, counting bisimulation, that allows us to define a characterisation of nested semantics in terms of a bisimulation-like game.


Item Type:Book Section
Additional Information:

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages (PROLE 2007, Zaragoza, Spain, 12–14 September 2007

Uncontrolled Keywords:Process Preorders and Equivalences; Bisimulations; Nested Simulations; Constrained Simulations; Axiomatization of Semantics
Subjects:Sciences > Computer science
ID Code:20674
Deposited On:05 Apr 2013 11:30
Last Modified:10 Aug 2018 08:14

Origin of downloads

Repository Staff Only: item control page