211 search results - page 10 / 43 » The Join Calculus: A Language for Distributed Mobile Program... |
ENTCS
2008
13 years 10 months ago
2008
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...
DC
2010
13 years 7 months ago
2010
In this paper, we comparatively analyze some mainstream calculi for mobility and distribution, together with some of their variants: asynchronous -calculus, distributed -calculus,...
WOA
2000
13 years 11 months ago
2000
ogramming are evaluated along three different guidelines: the programming abstractions the calculus suggests; the underlying programming model; the security mechanisms provided. Th...
ICALP
1999
Springer
14 years 2 months ago
1999
Springer
We present a calculus of mobile processes without prefix or summation, and using two different encodings we show that it can express both action prefix and guarded summation. O...
ESOP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...