Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 438-466
Lecture Notes in Computer Science > Petri Nets: Applications and Relationships to Other Models of Concurrency > 393-415