An Operational Semantics for the Guarded Command Language

@inproceedings{Lukkien1992AnOS,
  title={An Operational Semantics for the Guarded Command Language},
  author={Johan J. Lukkien},
  booktitle={MPC},
  year={1992}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…