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. Bakker, de; W.P. Roever, de; G. Rozenberg

doi:10.1007/BFb0013019

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. Bakker, de (Editor), W.P. Roever, de (Editor), G. Rozenberg (Editor)

Mathematics and Computer Science

Research output: Book/Report › Book editing › Academic

Original language	English
Place of Publication	Berlin
Publisher	Springer
Number of pages	713
ISBN (Print)	3-540-51080-X
DOIs	https://doi.org/10.1007/BFb0013019
Publication status	Published - 1989

Publication series

Name	Lecture notes in computer science
Volume	354
ISSN (Print)	0302-9743

Access to Document

10.1007/BFb0013019

Cite this

@book{cc6dc3907e2c43ab99ce6a8c502cc397,

title = "Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988",

editor = "\{Bakker, de\}, J.W. and \{Roever, de\}, W.P. and G. Rozenberg",

year = "1989",

doi = "10.1007/BFb0013019",

language = "English",

isbn = "3-540-51080-X",

series = "Lecture notes in computer science",

publisher = "Springer",

address = "Germany",

}

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988. / Bakker, de, J.W. (Editor); Roever, de, W.P. (Editor); Rozenberg, G. (Editor).
Berlin: Springer, 1989. 713 p. (Lecture notes in computer science; Vol. 354).

Research output: Book/Report › Book editing › Academic

TY - BOOK

T1 - Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

A2 - Bakker, de, J.W.

A2 - Roever, de, W.P.

A2 - Rozenberg, G.

PY - 1989

Y1 - 1989

UR - http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-46147-0

U2 - 10.1007/BFb0013019

DO - 10.1007/BFb0013019

M3 - Book editing

SN - 3-540-51080-X

T3 - Lecture notes in computer science

BT - Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

PB - Springer

CY - Berlin

ER -

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

Publication series

Access to Document

Other files and links

Cite this