On the Unification of Process Semantics: Observational Semantics.

David de Frutos-Escrig, Carlos Gregorio-Rodrguez, Miguel Palomino

Browse the full SOFSEM paper archive.