A Deterministic Logical Semantics for Esterel

Olivier Tardieu. A Deterministic Logical Semantics for Esterel. Electronic Notes in Theoretical Computer Science, 128(1):103-122, 2005. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: