3689 search results - page 51 / 738 » A Language with Distributed Scope |
COCOON
1999
Springer
14 years 2 months ago
1999
Springer
Cai and Selman [CS99] defined a modification of Levin’s notion of average polynomial time and proved, for every P-bi-immune language L and every polynomial-time computable dis...
MSO
2003
13 years 11 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
AC
2000
Springer
14 years 2 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
ICLP
2005
Springer
14 years 3 months ago
2005
Springer
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...
HPDC
2005
IEEE
14 years 3 months ago
2005
IEEE
