Titlebar

Export bibliographic data
Literature by the same author
plus on the publication server
plus at Google Scholar

 

From bialgebraic semantics to universal simulators of cellular automata

Title 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