Sciweavers

4045 search results - page 85 / 809
» Special Section on Parallel Distributed Computing and Networ...
Sort
View
COORDINATION
2006
Springer
15 years 1 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
IPPS
1998
IEEE
15 years 1 months ago
Protocols for Non-Deterministic Communication over Synchronous Channels
In this paper, we propose several deadlock-free protocols for implementing the generalized alternative construct, where a process non-deterministically chooses between sending or ...
Erik D. Demaine