Transition Systems and Dynamic Semantics

Cite this paper

@inproceedings{Fernando1992TransitionSA, title={Transition Systems and Dynamic Semantics}, author={Tim Fernando}, booktitle={JELIA}, year={1992} }