Author

Rance Cleaveland

4 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

4 books
A logical process calculus

A logical process calculus

Year unknown
From Reactive Systems to Cyber-Physical Systems

From Reactive Systems to Cyber-Physical Systems

Year unknown Ezio Bartocci, Rance Cleaveland, Radu Grosu, and Oleg Sokolsky
Priority in process algebras

Priority in process algebras

Year unknown
The concurrency workbench

The concurrency workbench

Year unknown

Fetched from OpenLibrary. Some translations may appear as separate works.