557 search results - page 12 / 112 » Calculi for Service-Oriented Computing |
160
click to vote
CMSB
2004
Springer
15 years 12 months ago
2004
Springer
We introduce a family of process calculi with dynamic nested membranes. In contrast to related calculi, including some developed for biological applications, active entities here a...
173
click to vote
IEEESCC
2005
IEEE
16 years 1 days ago
2005
IEEE
With the increasing number of computers on the Internet, there is a growing interest in harnessing the unused and inexpensive computational resources over the Internet. However, c...