Record Beta
Structural Operational Semantics
https://id.confref.org/data/confref-portal/event/sos2012
This record is part of the confref event Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012..
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.