J.W. de Bakker

Bibliography

de Bakker, J. W., de Roever, W. P. and Rozenberg, Grzegorz, eds. 1989. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. Lecture Notes in Computer Science n. 354. Berlin: Springer.