The ESTEREL Synchronous Programming Language and its Mathematical Semantics.

Grard Berry, Laurent Cosserat

Browse the full CONCUR paper archive.