The Denotational Semantics of Slotted-Circus - BUTTERFIELD, ANDREW (Springer, 2009)
Lecture Notes in Computer Science
Formal Methods 2009
PUBLISHED
Eindhoven, Netherlands
Keywords: denotational semantics; unifying theories; time-slots; concurrency theory; Smart & Sustainable Planet