Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency
Subtitle: School/Workshop, Noordwijkerhout, the Netherlands May 30-June 3, (Lecture Notes in Computer Science)
Contributors: J. W. De Bakker (Editor); Grzegorz Rozenberg (Editor); W. P. De Roever (Editor)
Publisher: Springer
Published: July 1989
Language: eng
Number of pages: 713
ISBN-13: 9780387510804