Formal Semantics of Interworkings with Discrete Absolute Time

The formal semantics of interworkings was defined in BPA iw In this paper, it is extended with discrete absolute time features. In the discrete time setting, the continuous time domain is partitioned into slices. First, a set of axioms is presented for discretely timed interworkings. Then the notion of discrete time intervals is defined. From this definition and the axioms for discretely timed interworkings, a set of propositions for interval timed interworkings is derived.