An Eliminating Causal Ambiguity Approach to Reactive Systems

Abstract

In this paper, we develop an eliminating causal ambiguity approach for reactive systems with the notion of causal ambiguity, which often exists and appears in real application areas. The systems are modeled in terms of event structures with causal ambiguity. Under a certain partial order semantics, the behavior of the system can be reasoned out unambiguously. Furthermore, a variant of a linear-time equivalence termed pomset trace equivalence and a variant of a branching-time equivalence termed history preserving bisimulation equivalence based on the partial order semantics are presented. An alternative operational semantics is also discussed.