@inproceedings{2b39b73977aa421793ae21d47199e38e,
title = "An operational semantics for the guarded command language",
author = "J.J. Lukkien",
year = "1993",
doi = "10.1007/3-540-56625-2_16",
language = "English",
isbn = "3-540-56625-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "233--249",
editor = "R.S. Bird and C. Morgan and J. Woodcock",
booktitle = "Mathematics of Program Construction (Proceedings 2nd International Conference, Oxford, UK, June 29-July 3, 1992)",
address = "Germany",
}