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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	CONCUR'91 (Proceedings 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991)
Redacteuren	J.C.M. Baeten, J.F. Groote
Plaats van productie	Berlin
Uitgeverij	Springer
Pagina's	235-249
ISBN van geprinte versie	3-540-54430-5
Status	Gepubliceerd - 1991

Naam	Lecture Notes in Computer Science
Volume	527
ISSN van geprinte versie	0302-9743

Citeer dit

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 (editors), CONCUR'91 (Proceedings 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991) (blz. 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). uitgave / J.C.M. Baeten; J.F. Groote. Berlin: Springer, 1991. blz. 235-249 (Lecture Notes in Computer Science; Vol. 527).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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 -