Record Beta
Structural Operational Semantics
https://id.confref.org/data/confref-portal/event/sos2014
This record is part of the confref event Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, EXPRESS 2014, and 11th Workshop on Structural Operational Semantics, SOS 2014, Rome, Italy, 1st September 2014..
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.