Rance Cleaveland

• From Reactive Systems to Cyber-Physical Systems
• A logical process calculus
• Priority in process algebras
• The concurrency workbench