branching time and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3, 1988 / J. W. de Bakker, W.-P. de Roever and G. Rozenberg, [eds.] School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, the Netherlands, 1988 creator Bakker, J. W. de , ed Roever, W.-P. de , ed text Berlin Springer-Verlag 1989 monographic En

print

713 p. System analysis Congresses QA402 S36 1988 0 540 51080 X 20260818145558.0