A clocked denotational semantics for Lucid-Synchrone in COQ (2001)

Cached

Download Links

by Sylvain Boulmé , Grégoire Hamon