Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - 1989 - Springer Berlin Heidelberg 1989 - Lecture Notes in Computer Science .

9783540461470


Computer Science