Sciweavers

Share
13 search results - page 1 / 3
» epew 2005
Sort
View
EPEW
2005
Springer
9 years 7 months ago
Executable Semantics for Compensating CSP
Compensation is an error recovery mechanism for long-running transactions. Compensating CSP is a variant of the CSP process algebra with constructs for orchestration of compensatio...
Michael J. Butler, Shamim Ripon
EPEW
2005
Springer
9 years 7 months ago
Timing Issues in Web Services Composition
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...
Manuel Mazzara
EPEW
2005
Springer
9 years 7 months ago
Performance Tuning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and Experiments
Abstract. We consider wireless ad-hoc networks and implement failure detections mechanisms. These failure detectors provide elementary information for high level distributed algori...
Corine Marchand, Jean-Marc Vincent
EPEW
2005
Springer
9 years 7 months ago
Zero-Automatic Queues
We introduce and study a new model: 0-automatic queues. Roughly, 0-automatic queues are characterized by a special buffering mechanism evolving like a random walk on some infini...
Thu-Ha Dao-Thi, Jean Mairesse
EPEW
2005
Springer
9 years 7 months ago
PiDuce: A Process Calculus with Native XML Datatypes
We develop the static and dynamic semantics of PiDuce, a process calculus with XML values, schemas, and pattern matching. PiDuce values include channel names, therefore the structu...
Allen L. Brown Jr., Cosimo Laneve, L. Gregory Mere...
books