Operational Semantics for Fun and Profit

@inproceedings{Goldsmith2004OperationalSF,
  title={Operational Semantics for Fun and Profit},
  author={Michael Goldsmith},
  booktitle={25 Years Communicating Sequential Processes},
  year={2004}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…