at Google ScholarTitle data
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
. - pp. 104-106
. - (Technical Report / Universidad Complutense de Madrid, Departamento de Sistemas Informáticos y Computación
; SIC-8-12
)
Abstract in another language
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.
Further data
| Item Type: | Article in a book |
|---|---|
| Refereed: | Yes |
| Additional notes: | BAYCEER113831 |
| Institutions of the University: | Faculties > Faculty of Biology, Chemistry and Earth Sciences > Department of Earth Sciences > Chair Ecological Modelling Research Institutions > Research Centres > Bayreuth Center of Ecology and Environmental Research- BayCEER Faculties Faculties > Faculty of Biology, Chemistry and Earth Sciences Faculties > Faculty of Biology, Chemistry and Earth Sciences > Department of Earth Sciences Research Institutions Research Institutions > Research Centres |
| Result of work at the UBT: | Yes |
| DDC Subjects: | 500 Science |
| Date Deposited: | 29 Jun 2015 06:09 |
| Last Modified: | 08 Jun 2016 11:15 |
| URI: | https://eref.uni-bayreuth.de/id/eprint/15485 |