On the Consistency of "Truly Concurrent" Operational and Denotational Semantics (Extended Abstract)

Pierpaolo Degano, Rocco De Nicola, Ugo Montanari

Browse the full LICS paper archive.