2612 search results - page 14 / 523 » Mobile Processes and Termination |
EUROPAR
2007
Springer
15 years 4 months ago
2007
Springer
We investigate the problem of detecting termination of a distributed computation in an asynchronous message-passing system where processes may crash and recover. We show that it is...
CONCUR
2008
Springer
14 years 11 months ago
2008
Springer
We consider nondeterministic and probabilistic termination problems in a process algebra that is equivalent to basic chemistry. We show that the existence of a terminating computat...
DEXA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We define a formal syntax and semantics for the Rule Definition Language (RDL) of DemaqLite, which is a fragment of the declarative XML message processing system Demaq....
ICMB
2005
IEEE
15 years 3 months ago
2005
IEEE
The paper presents an effective mobile-to-mobile payment system. A mobile phone with or without SIM card is enabled as an EMV payment instrument and is linked to a debit or credit...
TGC
2007
Springer
15 years 3 months ago
2007
Springer
We study type systems for termination in the π-calculus from the point of view of type inference. We analyse four systems by Deng and Sangiorgi. We show that inference can be done...