On Minimal Event and Concrete Data Structures

Abstract

We consider concrete domains and event domains as well as their generating structures, i.e., concrete data structures and event structures. Using certain equivalence relations on the prime intervals of the domains we can associate different event structures and cds to a given domain, respectively. By introducing reductions we show the existence of a greatest event structure and cds as well as of minimal event structures and cds generating a given event and concrete domain, respectively.