An Implementation of Constructive Synchronous Programs in POLIS (1998)

Cached

Download Links

by Gerard Berry , Ellen M. Sentovich
Venue:IN POLIS. FORMAL METHODS IN SYSTEM DESIGN
Citations:11 - 0 self