Abstract

We consider different equivalence notions for prime event structures, which explicitly reflect causality, concurrency and conflict relations between occurrences of events in the structures. The intention of the paper is to establish whether or not these equivalences are preserved under refinement of actions. An operator of refinement replaces actions on a given level of abstraction by more complicated processes on a lower level.

File
Issue
Pages
101-114