Algebra of communicating processes : part II

J.C.M. Baeten; J.A. Bergstra; J.W. Klop

Algebra of communicating processes : part II

J.C.M. Baeten, J.A. Bergstra, J.W. Klop

Research output: Book/Report › Book › Popular

155 Downloads (Pure)

Original language	English
Place of Publication	Leiden
Publisher	Instituut voor Toegepaste Wiskunde en Informatica
Number of pages	70
Publication status	Published - 1984

Bibliographical note

Landelijk Project Concurrency : syntactische, semantische en bewijstheoretische aspecten : seminarium 7 december 1984 Rijksuniversiteit Leiden.

Access to Document

589184Final published version, 5.26 MB

Cite this

@book{fe313323860040ebbaebb340cdc72887,

title = "Algebra of communicating processes : part II",

author = "J.C.M. Baeten and J.A. Bergstra and J.W. Klop",

note = "Landelijk Project Concurrency : syntactische, semantische en bewijstheoretische aspecten : seminarium 7 december 1984 Rijksuniversiteit Leiden.",

year = "1984",

language = "English",

publisher = "Instituut voor Toegepaste Wiskunde en Informatica",

}

TY - BOOK

T1 - Algebra of communicating processes : part II

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

AU - Klop, J.W.

N1 - Landelijk Project Concurrency : syntactische, semantische en bewijstheoretische aspecten : seminarium 7 december 1984 Rijksuniversiteit Leiden.

PY - 1984

Y1 - 1984

M3 - Book

BT - Algebra of communicating processes : part II

PB - Instituut voor Toegepaste Wiskunde en Informatica

CY - Leiden

ER -