Johan J. Lukkien. An Operational Semantics for the Guarded Command Language. In Richard S. Bird, Carroll Morgan, Jim Woodcock, editors, Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings. Volume 669 of Lecture Notes in Computer Science, pages 233-249, Springer, 1992.
@inproceedings{Lukkien92,
title = {An Operational Semantics for the Guarded Command Language},
author = {Johan J. Lukkien},
year = {1992},
tags = {semantics, operational semantics},
researchr = {https://researchr.org/publication/Lukkien92},
cites = {0},
citedby = {0},
pages = {233-249},
booktitle = {Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings},
editor = {Richard S. Bird and Carroll Morgan and Jim Woodcock},
volume = {669},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56625-2},
}