1-2 of 2 Books
Logics and models of concurrent systems
By NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 La Colle-sur-Loup, France)
ESOP '88
By European Symposium on Programming (2nd 1988 Nancy, France)