2272 search results - page 108 / 455 » A Calculus for |
174
click to vote
LICS
2007
IEEE
16 years 20 days ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
169
click to vote
COORDINATION
2007
Springer
16 years 17 days ago
2007
Springer
We suggest a Calculus for Mobile Ad Hoc Networks, CMAN. A node in a network is a processes equipped with a location, it may communicate with other nodes using synchronous local bro...
159
click to vote
ESOP
2007
Springer
16 years 17 days ago
2007
Springer
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for...
182
click to vote
ESOP
2007
Springer
16 years 17 days ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
143
click to vote
STACS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. The sharing of content by communities of users (e.g., scientists) in a P2P context remains cumbersome. We argue that main reasons for this is the lack of calculus and alg...