Action Systems and Action Refinement in the Development of Parallel Systems, an Algebraic Approach
Wil Janssen, Mannes Poel, J. Zwiers · University of Twente Research Information · 1993
A new notion of refinement and several other new operators are proposed that allow for a compositional algebraic characterization of action systems and serializability in distributed database systems. A simple design language is introduced and is provided with a semantics essentially based on partial order models.