Priorities in tock-CSP

Pedro Ribeiro, James Baxter, Ana Cavalcanti

The $tock$-CSP encoding embeds a rich and flexible approach to modelling discrete timed behaviours in CSP where the event $tock$ is interpreted to mark the passage of time. The mod…