Technical Report No. 91--04. Leiden, The Netherlands: University, Department of Computer Science, 1991.
Abstract: The paper deals with the problem of providing elementary transition systems with refinement operations. There seems to be two natural types of such operations, one over local states (called regions) and the other over local transitions (called events). The authors concentrate on the notion of local state refinement. An example is discussed to bring out the main motivations underlying the refinement operations. Elementary transition systems are introduced, and a local state refinement operation is proposed and discussed.
Keywords: elementary transition system (and) refinement; local state, region; local transition, event; local state refinement.