Process algebra with guards : combining Hoare logic with process algebra (Extended abstract)

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

Original language	English
Title of host publication	CONCUR'91 (Proceedings 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991)
Editors	J.C.M. Baeten, J.F. Groote
Place of Publication	Berlin
Publisher	Springer
Pages	235-249
ISBN (Print)	3-540-54430-5
Publication status	Published - 1991

Name	Lecture Notes in Computer Science
Volume	527
ISSN (Print)	0302-9743

Cite this

Groote, J. F., & Ponse, A. J. (1991). Process algebra with guards : combining Hoare logic with process algebra (Extended abstract). In J. C. M. Baeten, & J. F. Groote (Eds.), CONCUR'91 (Proceedings 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991) (pp. 235-249). (Lecture Notes in Computer Science; Vol. 527). Springer.

@inproceedings{49d5b097028442e8b7bcc98efd9b5fcb,

title = "Process algebra with guards : combining Hoare logic with process algebra (Extended abstract)",

author = "J.F. Groote and A.J. Ponse",

year = "1991",

language = "English",

isbn = "3-540-54430-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "235--249",

editor = "J.C.M. Baeten and J.F. Groote",

booktitle = "CONCUR'91 (Proceedings 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991)",

address = "Germany",

}

Process algebra with guards : combining Hoare logic with process algebra (Extended abstract). / Groote, J.F.; Ponse, A.J.
CONCUR'91 (Proceedings 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991). ed. / J.C.M. Baeten; J.F. Groote. Berlin: Springer, 1991. p. 235-249 (Lecture Notes in Computer Science; Vol. 527).

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

TY - GEN

T1 - Process algebra with guards : combining Hoare logic with process algebra (Extended abstract)

AU - Groote, J.F.

AU - Ponse, A.J.

PY - 1991

Y1 - 1991

M3 - Conference contribution

SN - 3-540-54430-5

T3 - Lecture Notes in Computer Science

SP - 235

EP - 249

BT - CONCUR'91 (Proceedings 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991)

A2 - Baeten, J.C.M.

A2 - Groote, J.F.

PB - Springer

CY - Berlin

ER -