Partial-Order Methods for the Verification of Concurrent Systems

This book is in New - Excellent condition