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
|
