Home

G.__Berry



A hardware implementation of pure esterel

Communicating reactive processes

The Constructive Semantics of Pure Esterel