211 search results - page 21 / 43 » The Join Calculus: A Language for Distributed Mobile Program... |
ICFP
2003
ACM
14 years 8 months ago
2003
ACM
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
ENTCS
2007
13 years 8 months ago
2007
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
ICFP
2002
ACM
14 years 8 months ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— Assume a swarm of mobile robots is in the act of transporting a large object in the plane, by applying unilateral forces to the perimeter of that object. We address the questio...
PLDI
2005
ACM
14 years 2 months ago
2005
ACM
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...