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
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.
|
Emner | |
ISBN | 038751080X. - 354051080X
|