CPO Models for GSOS Languages - Part I: Compact GSOS Languages
DOI:
https://doi.org/10.7146/brics.v1i40.21603Abstract
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
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.