1 book • 1 series
Specification and Design of Concurrent Systems (McGraw-Hill International Series in Software Engineering)