Skip to content

An Operational Semantics for the Guarded Command Language.

Johan J. Lukkien

VenueBMPC
Year1992
ProceedingsMPC

Browse the full MPC paper archive.