Trancón y Widemann, B: From bialgebraic semantics to universal simulators of cellular automata, Preliminary Proceedings 21st International Workshop on Algebraic Development Techniques (WADT 2012) Technical Report 08/12, 104-106 (2012)
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 speci cation 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.
Upcoming ...
Ökologisch-Botanischer Garten:
Sa. 2018-07-21
UNIKAT - Das Sommer- und Tanzevent der Universität im Ökologisch-Botanischen Garten, Tickets unter: www.unikat.uni-bayreuth.de
Su. 2018-07-22
Literatur und Musik: Serenade am Victoria-Becken
We. 2018-07-25
Vom Korn zum Brot: Öffentliche Brotprüfung der Bäckerinnung Bayreuth Stadt und Land
We. 2018-07-25
Unser täglich Brot: Getreide und Pseudocerealien
Su. 2018-08-05
Heitere Botanik: Pflanzen in Versen von K.H. Waggerl
Weather research site
Luftdruck (356m): 971.3 hPa
Lufttemperatur: 15.8 °C
Niederschlag: 3.2 mm/24h
Sonnenschein: <1 h/d
Wind (Höhe 17m): 3.8 km/h
Wind (Max.): 6.8 km/h
Windrichtung: S

...more
Globalstrahlung: 264 W/m²
Lufttemperatur: 17.7 °C
Niederschlag: 0.1 mm/24h
Sonnenschein: <1 h/d
Wind (Höhe 32m): 5.9 km/h
Wind (Max.): 10.8 km/h

...more
This site makes use of cookies More information