EPTCS 62 - SOS 2011

Michel A. Reniers, Pawel Sobocinski (Eds.): Proceedings Eight Workshop on Structural Operational Semantics 2011. EPTCS 62 2011

Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir:
Axiomatizing GSOS with Predicates. 1-15
Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen:
Formal Component-Based Semantics. 17-29
Asiri Rathnayake, Hayo Thielecke:
Regular Expression Matching and Operational Semantics. 31-45
David Romero-Hernández, David de Frutos-Escrig:
On the Unification of Process Semantics: Logical Semantics. 47-61

Last update Sat May 26 03:33:05 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page