211 search results - page 2 / 43 » The Join Calculus: A Language for Distributed Mobile Program... |
APLAS
2003
ACM
13 years 8 months ago
2003
ACM
POPL
1996
ACM
13 years 8 months ago
1996
ACM
ESOP
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. Functional nets combine key ideas of functional programming and Petri nets to yield a simple and general programming notation. They have their theoretical foundation in J...
APCSAC
2003
IEEE
13 years 8 months ago
2003
IEEE
Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...
TOPLAS
2010
13 years 2 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...