A question about observations

January 19th, 2007 by Graham

Suppose you are interested in the semantics of effects, such as state, input/output, non-determinism, exceptions, etc. Suppose further that you are interested in small-step operational semantics of effects. Is there a systematic way to determine what the “observations” should be in such semantics, i.e. the actions that label the transitions?

Leave a Reply