1716 search results - page 79 / 344 » Proving Conditional Termination |
EPEW
2006
Springer
13 years 10 months ago
2006
Springer
We present a stochastic process algebra including immediate actions, deadlock and termination, and explicit stochastic delays, in the setting of weak choice between immediate actio...
ISIM
2007
13 years 10 months ago
2007
We study sequential colonies introduced in [5], [9] from the point of view of their environmental structures. We give expressions for the languages Life, Garden-of-Eden, Doomsday a...
FUIN
2006
13 years 8 months ago
2006
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient...
TPLP
2002
13 years 8 months ago
2002
We study the properties of input-consuming derivations of moded logic programs. Inputconsuming derivations can be used to model the behavior of logic programs using dynamic schedu...
HCI
2009
13 years 6 months ago
2009
Logistics is a dynamic and heterogeneous application area for wearable computing. In this paper, wearable computing technologies are examined as basis for a support system for mobi...