scholarly journals Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics

2015 ◽  
Vol 190 ◽  
Author(s):  
Silvia Crafa ◽  
Daniel E. Gebler
Keyword(s):  
International Workshop ◽  
Operational Semantics ◽  
Structural Operational Semantics

Preface to special issue: EXPRESS, ICE and SOS 2009

2012 ◽  
Vol 22 (2) ◽  
pp. 123-124
Author(s):  
FILIPPO BONCHI ◽  
SIBYLLE FRÖSCHLE ◽  
DANIELE GORLA ◽  
BARTEK KLIN
Keyword(s):  
Computer Science ◽  
International Workshop ◽  
Operational Semantics ◽  
Special Issue ◽  
Mathematical Structures ◽  
Structural Operational Semantics ◽  
Selection Of

This special issue of Mathematical Structures in Computer Science contains a selection of papers presented at three satellite events of CONCUR'09, which was held between 31 August and 5 September 2009 in Bologna (Italy). Specifically, it contains three papers from the 16th International Workshop on Expressiveness in Concurrency (EXPRESS'09), one paper from the 2nd Interaction and Concurrency Experience (ICE'09) and two papers from the 6th Workshop on Structural Operational Semantics (SOS'09).

Sign in / Sign up

Export Citation Format

Share Document