Synchronous Circus (“syncCircus”) is a variant of the timed Circus of Sherif and He, intended to model the behaviour of synchronously-clocked hardware, as produced by the Handel-C hardware compiler. It views events as occurring within well-defined discrete time-slots, but in contrast to the the work on synchronous CSP (SCSP, J. Barnes), it does allow for events to be temporally ordered within time-slots, if so required. Of particular interest is a relationship between syncCircus, timed and “standard” Circus, in which one form of refinement, mediated by a Galois connection, involves no change to a Circus text, but instead a change in its semantic interpretation.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500 | Fax: 01904 325599