Explore Books on
système concurrent

Concurrent systems

By Jean Bacon,J. Bacon

Temporal logic in specification

By Howard Barringer