CPO Models for GSOS Languages - Part I: Compact GSOS Languages

Authors

  • Luca Aceto

DOI:

https://doi.org/10.7146/brics.v1i40.21603

Abstract

In this paper, we present a general way of giving denotational semantics to a class of languages equipped with an operational semantics that fits the GSOS format of Bloom, Istrail and Meyer. The canonical model used for this purpose will be Abramsky's domain of synchronization trees, and the denotational semantics automatically generated by our methods will be guaranteed to be fully abstract with respect to the finitely observable part of the bisimulation preorder. In the process of establishing the full abstraction result, we also obtain several general results on the bisimulation preorder (including a complete axiomatization for it), and give a novel operational interpretation of GSOS languages.

Downloads

Published

1994-12-14

How to Cite

Aceto, L. (1994). CPO Models for GSOS Languages - Part I: Compact GSOS Languages. BRICS Report Series, 1(40). https://doi.org/10.7146/brics.v1i40.21603