Add to ORKGWe extend the main real time version of ACP presented in [6] with conditionals in which the condition depends on time. This extension facilitates flexible dependence of proccess behaviour on initialization time. We show that the conditions concerned generalize the conditions introduced earlier in a discrete time setting in [4]
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...
In the paper we present an ACP-like process algebra which can be used to model both probabilistic an...
AbstractWe add conditionals with time-dependent conditions to the real time process algebra with par...
AbstractWe add conditionals with time-dependent conditions to the real time process algebra with par...
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...
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. Th...
We present real time and discrete time versions of ACP with absolute timing and relative timing. Th...
We describe an axiom system ACPp that incorporates real timed actions. Many examples are provided in...
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...
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...
In the paper we present an ACP-like process algebra which can be used to model both probabilistic an...
AbstractWe add conditionals with time-dependent conditions to the real time process algebra with par...
AbstractWe add conditionals with time-dependent conditions to the real time process algebra with par...
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...
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. Th...
We present real time and discrete time versions of ACP with absolute timing and relative timing. Th...
We describe an axiom system ACPp that incorporates real timed actions. Many examples are provided in...
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...
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...
In the paper we present an ACP-like process algebra which can be used to model both probabilistic an...