We describe an axiom system ACPp that incorporates real timed actions. Many examples are provided in order to explain the intuitive contents of the notation. ACP p is a generalisation of ACP. This implies that some of the axioms have to be relaxed and that ACP can be recovered as a special case from it. The purpose of ACPp is to serve as a specification language for real time systems. The axioms of ACPp explain its operational meaning in an algebraic form
We present real time and discrete time versions of ACP with absolute timing and relative timing. The...
We present real time and discrete time versions of ACP with absolute timing and relative timing. The...
We present real time and discrete time versions of ACP with absolute timing and relative timing. The...
The authors describe an axiom system ACP rho that incorporates real timed actions. Many examples are...
The authors describe an axiom system ACP rho that incorporates real timed actions. Many examples are...
The authors describe an axiom system ACP rho that incorporates real timed actions. Many examples are...
The authors describe an axiom system ACP rho that incorporates real timed actions. Many examples are...
The authors describe an axiom system ACP rho that incorporates real timed actions. Many examples are...
AbstractBaeten and Bergstra added real time to ACP and introduced the notion of integration, which e...
AbstractBaeten and Bergstra added real time to ACP and introduced the notion of integration, which e...
Baeten and Bergstra added real time to ACP and introduced the notion of integration, which expresses...
We extend the main real time version of ACP presented in [6] with conditionals in which the conditi...
We present real time and discrete time versions of ACP with absolute timing and relative timing. The...
The axiom system ACP of [BeK84a] was extended with real time features in [BaB91]. Here we proceed to...
The axiom system ACP of [BeK84a] was extended with real time features in [BaB91]. Here we proceed to...
We present real time and discrete time versions of ACP with absolute timing and relative timing. The...
We present real time and discrete time versions of ACP with absolute timing and relative timing. The...
We present real time and discrete time versions of ACP with absolute timing and relative timing. The...
The authors describe an axiom system ACP rho that incorporates real timed actions. Many examples are...
The authors describe an axiom system ACP rho that incorporates real timed actions. Many examples are...
The authors describe an axiom system ACP rho that incorporates real timed actions. Many examples are...
The authors describe an axiom system ACP rho that incorporates real timed actions. Many examples are...
The authors describe an axiom system ACP rho that incorporates real timed actions. Many examples are...
AbstractBaeten and Bergstra added real time to ACP and introduced the notion of integration, which e...
AbstractBaeten and Bergstra added real time to ACP and introduced the notion of integration, which e...
Baeten and Bergstra added real time to ACP and introduced the notion of integration, which expresses...
We extend the main real time version of ACP presented in [6] with conditionals in which the conditi...
We present real time and discrete time versions of ACP with absolute timing and relative timing. The...
The axiom system ACP of [BeK84a] was extended with real time features in [BaB91]. Here we proceed to...
The axiom system ACP of [BeK84a] was extended with real time features in [BaB91]. Here we proceed to...
We present real time and discrete time versions of ACP with absolute timing and relative timing. The...
We present real time and discrete time versions of ACP with absolute timing and relative timing. The...
We present real time and discrete time versions of ACP with absolute timing and relative timing. The...
DOI
Add to ORKG