The variety of process algebra (DRAFT)

J.C.M. Baeten; J.A. Bergstra; C.A.R. Hoare; Robin Milner; J. Parrow; R. Simone, de

The variety of process algebra (DRAFT)

J.C.M. Baeten
, J.A. Bergstra
, C.A.R. Hoare
, Robin Milner
, J. Parrow
, R. Simone, de

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Popular

70 Downloads (Pure)

Original language	English
Title of host publication	CONCUR : theories of concurrency : unification and extension. Task 1.1 comparing process algebras. Second year deliverables, covering the period 1 September 1990 - 31 August 1991
Editors	Robin Milner, Faron Moller
Pages	1-12
Publication status	Published - 1991

Access to Document

589774Final published version, 2.82 MB

Cite this

@inbook{38c13f2eca8546abb4b3b0a6e0afb89f,

title = "The variety of process algebra (DRAFT)",

author = "J.C.M. Baeten and J.A. Bergstra and C.A.R. Hoare and Robin Milner and J. Parrow and \{Simone, de\}, R.",

year = "1991",

language = "English",

pages = "1--12",

editor = "Robin Milner and Faron Moller",

booktitle = "CONCUR : theories of concurrency : unification and extension. Task 1.1 comparing process algebras. Second year deliverables, covering the period 1 September 1990 - 31 August 1991",

}

The variety of process algebra (DRAFT). / Baeten, J.C.M.; Bergstra, J.A.; Hoare, C.A.R. et al.
CONCUR : theories of concurrency : unification and extension. Task 1.1 comparing process algebras. Second year deliverables, covering the period 1 September 1990 - 31 August 1991. ed. / Robin Milner; Faron Moller. 1991. p. 1-12.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Popular

TY - CHAP

T1 - The variety of process algebra (DRAFT)

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

AU - Hoare, C.A.R.

AU - Milner, Robin

AU - Parrow, J.

AU - Simone, de, R.

PY - 1991

Y1 - 1991

M3 - Chapter

SP - 1

EP - 12

BT - CONCUR : theories of concurrency : unification and extension. Task 1.1 comparing process algebras. Second year deliverables, covering the period 1 September 1990 - 31 August 1991

A2 - Milner, Robin

A2 - Moller, Faron

ER -