Skip to content

Behavioral part

Jump to bottom
rye edited this page Oct 5, 2016 · 2 revisions

The behavioural part of the rewritten Circus is translated by a \Phi function to CSP.

Kangfeng (Randall) Ye (My Email: ky582@york.ac.uk). PhD Student in University of York. A member of the Circus team.

Clone this wiki locally