Timed Circus: Timed CSP with the Miracle.

Kun Wei, Jim Woodcock, Alan Burns

Browse the full ICECCS paper archive.