107
Voted
ENTCS
2008
15 years 3 months ago
2008
Reynolds' view of a storage cell as an expression-acceptor pair has been widely used by researchers. We present a different way of organizing semantics of state, and in parti...