Rance Cleaveland

From Reactive Systems to Cyber-Physical Systems

2019

A logical process calculus

A logical process calculus

2001

Priority in process algebras

Priority in process algebras

1999

The concurrency workbench

The concurrency workbench

1989