Linear time, 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, G. Rozenberg (eds.)
Bok
·
Engelsk
·1989
Detaljer
Utgitt
Berlin : Springer , c1989
Omfang
VIII, 713 s. : ill.
Opplysninger
"... based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency ..." - Forordet.
