557 search results - page 46 / 112 » Calculi for Service-Oriented Computing |
CONCUR
2007
Springer
14 years 3 months ago
2007
Springer
Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with different priority mechanisms...
ACSW
2006
13 years 10 months ago
2006
The conventional computing Grid has developed a service oriented computing architecture with a superlocal resource management and scheduling strategy. This architecture is limited...
CMSB
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents binders and operators, in the process calculi tradition, to reason about biological interactions. Special binders are added to wrap a process just as membranes ...
LICS
2007
IEEE
14 years 3 months ago
2007
IEEE
IEEEPACT
2000
IEEE
14 years 1 months ago
2000
IEEE
ÐThis paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a powerful framework to reason about fine-grained parall...