Skip to Main Content
We suggest a preorder notion for Stable Configuration Structures as a semantic model of concurrent systems. It combines the notions of observation-congruence-like fairness and the refinement operation for the specification and analysis of different levels of abstraction. We prove that our notion can be integrated into a lattice showing the interplay between the interleaving/causal semantics and the timing of choices between different executions.
Date of Conference: 6-8 June 2007