Transition Systems and Dynamic Semantics

T. Fernando
DOI: https://doi.org/10.1007/BFb0023431
1992-09-07
Abstract:
What problem does this paper attempt to address?