bei Google ScholarTitelangaben
Trancón y Widemann, Baltasar:
From bialgebraic semantics to universal simulators of cellular automata.
In:
WADT 2012 : Preliminary Proceedings 21st International Workshop on Algebraic Development Techniques. -
Madrid
,
2012
. - S. 104-106
. - (Technical Report / Universidad Complutense de Madrid, Departamento de Sistemas Informáticos y Computación
; SIC-8-12
)
Abstract
The structural operational semantics (SOS) approach of Plotkin [4] is one of the most popular variants of operational semantics, and has been applied practically to a wide variety of programming calculi and languages. It has gained considerable theoretical interest after the categorization by Turi and Plotkin [6]. There, a certain well-behaved SOS rule format is shown to correspond to a distributive law of a syntactical functor over a behavioral functor B. This view entails numerous nice mathematical properties: Both a syntactical and a denotational model arise automatically as the initial -algebra and the nal B-coalgebra, respectively. A unique bialgebra homomorphism connects the two,giving denotational and operational semantics simultaneously: Denotational semantics because a homomorphism from the initial -algebra can be seen as a syntax-directed interpretation in a semantic domain; operational semantics because a homomorphism into the nal B-coalgebra can be seen as a fully abstract specication of machine transitions. For well-behaved behaviour B, there is only one form of bisimulation, and that is a -congruence, making the semantics fully abstract by construction.
Weitere Angaben
| Publikationsform: | Aufsatz in einem Buch |
|---|---|
| Begutachteter Beitrag: | Ja |
| Zusätzliche Informationen: | BAYCEER113831 |
| Institutionen der Universität: | Fakultäten > Fakultät für Biologie, Chemie und Geowissenschaften > Fachgruppe Geowissenschaften > Lehrstuhl Ökologische Modellbildung Forschungseinrichtungen > Forschungszentren > Bayreuther Zentrum für Ökologie und Umweltforschung - BayCEER Fakultäten Fakultäten > Fakultät für Biologie, Chemie und Geowissenschaften Fakultäten > Fakultät für Biologie, Chemie und Geowissenschaften > Fachgruppe Geowissenschaften Forschungseinrichtungen Forschungseinrichtungen > Forschungszentren |
| Titel an der UBT entstanden: | Ja |
| Themengebiete aus DDC: | 500 Naturwissenschaften und Mathematik |
| Eingestellt am: | 29 Jun 2015 06:09 |
| Letzte Änderung: | 08 Jun 2016 11:15 |
| URI: | https://eref.uni-bayreuth.de/id/eprint/15485 |