Literatur vom gleichen Autor/der gleichen Autor*in
plus bei Google Scholar

Bibliografische Daten exportieren
 

From bialgebraic semantics to universal simulators of cellular automata

Titelangaben

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