Abstract
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.KeywordsComposition OperatorFormal SemanticFunctional BlockAtomic ActionProcess ExpressionThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
