Title: Specification, verification, and net models of concurrent systems
Subjects: Computer algorithms, Parallel programming (Computer science), Verification, Computer software