Process algebra with signals and conditions

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

Process algebra with signals and conditions

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

138 Downloads (Pure)

Original language	English
Title of host publication	Programming and mathematical method; : proceedings of the NATO Advanced Study Institute, held at Marktoberdorf, Germany, July 24-August 5, 1990 / ed. by Manfred Broy
Place of Publication	Berlin
Publisher	Springer
Pages	273-323
ISBN (Print)	3-540-55558-7
Publication status	Published - 1992

Publication series

Name	NATO ASI series. Series F : computer and systems sciences
Volume	88

Access to Document

589364Final published version, 2.01 MB

Cite this

@inproceedings{745174f7fb8a46dc9951cecc06163c84,

title = "Process algebra with signals and conditions",

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

year = "1992",

language = "English",

isbn = "3-540-55558-7",

series = "NATO ASI series. Series F : computer and systems sciences",

publisher = "Springer",

pages = "273--323",

booktitle = "Programming and mathematical method; : proceedings of the NATO Advanced Study Institute, held at Marktoberdorf, Germany, July 24-August 5, 1990 / ed. by Manfred Broy",

}

Process algebra with signals and conditions. / Baeten, J.C.M.; Bergstra, J.A.
Programming and mathematical method; : proceedings of the NATO Advanced Study Institute, held at Marktoberdorf, Germany, July 24-August 5, 1990 / ed. by Manfred Broy. Berlin: Springer, 1992. p. 273-323 (NATO ASI series. Series F : computer and systems sciences; Vol. 88).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

TY - GEN

T1 - Process algebra with signals and conditions

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

PY - 1992

Y1 - 1992

M3 - Conference contribution

SN - 3-540-55558-7

T3 - NATO ASI series. Series F : computer and systems sciences

SP - 273

EP - 323

BT - Programming and mathematical method; : proceedings of the NATO Advanced Study Institute, held at Marktoberdorf, Germany, July 24-August 5, 1990 / ed. by Manfred Broy

PB - Springer

CY - Berlin

ER -