Universidad Complutense de Madrid
E-Prints Complutense

Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences

Impacto

Downloads

Downloads per month over past year

Frutos Escrig, David de and Gregorio Rodríguez, Carlos and Palomino, Miguel (2008) Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. Electronic Notes in Theoretical Computer Science, 212 . pp. 149-162. ISSN 15710661

[img] PDF
Restringido a Repository staff only

317kB

Official URL: http://www.sciencedirect.com/science/article/pii/S1571066108002740


URLURL Type
http://www.sciencedirect.com/Publisher


Abstract

There are two ways to define a semantics for process algebras: either directly by means of an equivalence relation or by means of a preorder whose kernel is the desired equivalence. We are interested in the relationship between these two presentations. Using our characterisation of the behaviour preorders by means of simulations up-to we were able to generate the canonical preorders corresponding to each behaviour equivalence. The axiomatizations of these preorders can be obtained by adding to the axioms of the equivalence that of the appropriate simulation. Aceto, Fokkink and Ingólfsdóttir have presented an algorithm that goes in the opposite direction, constructing an axiomatization of the induced equivalence from that of a given preorder. Following a different path we were able to get a correct proof and an enhanced algorithm. In this paper we present an shorter and simpler proof of this result, based on our coinductive characterisations of the behaviour preorders, and in particular in the existence of the canonical preorders. More important, we also present further generalisations of the result, since our coinductive characterisations are not only valid for the semantics coarser than the ready simulation.

By means of these new proofs and results we hope to contribute to a better knowledge of the semantics of processes and to better understand the tight relations between preorders and equivalences that define them.


Item Type:Article
Additional Information:

Proceedings of the First International Conference on Foundations of Informatics, Computing and Software (FICS 2008)

Subjects:Sciences > Computer science
ID Code:20748
Deposited On:10 Apr 2013 11:01
Last Modified:10 Aug 2018 08:23

Origin of downloads

Repository Staff Only: item control page