Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language.

Cornelis Huizing, Rob Gerth, Willem P. de Roever

Browse the full POPL paper archive.