162 search results - page 1 / 33 » An Abstract Machine for a Higher-Order Distributed Process C... |
ENTCS
2002
13 years 4 months ago
2002
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
LICS
2012
IEEE
11 years 7 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
TLCA
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
CONCUR
2005
Springer
13 years 10 months ago
2005
Springer
d Abstract) MohammadReza Mousavi1 , Murdoch J. Gabbay2 , and Michel A. Reniers1 1 Department of Computer Science, 2 Department of Computer Science, Eindhoven University of Technolo...