- Record: found
- Abstract: not found
- Book Chapter: not found
Integrated Formal Methods
Slotted-Circus
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references14
- Record: found
- Abstract: not found
- Article: not found
The Esterel synchronous programming language: design, semantics, implementation
Gerard Berry, Georges Gonthier (1992)
- Record: found
- Abstract: not found
- Book Chapter: not found
The Semantics of Circus
Jim Woodcock, Ana Rosa Cavalcanti (2002)
- Record: found
- Abstract: not found
- Book: not found
Communicating Sequential Processes
C.A.R. Hoare, CAR Hoare, C Hoare … (1985)
