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