A categoria! semantic domain for general (discrete event) systems based on labeled transition systems with full concurrency is constructed, where synchronization and hiding are functorial. Moreover, we claim that, within the proposed framework, a class of mappings stands for refinement. 1l1en we prove that refinement satisfies the diagonal compositionality requirement, i.e. , refinements compose (vertical) and distribute over system composition (horizontal).
