Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.

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..

Data: Turtle · JSON-LD · N-Triples · RDF/XML

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.