52 search results - page 1 / 11 » Pict Correctness Revisited |
82
Voted
FMOODS
2007
15 years 3 months ago
2007
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any ...
215
Voted
POPL
2001
ACM
16 years 2 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
114
click to vote
TOPLAS
2010
15 years 17 days 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...
109
Voted
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
We revisit the correctness criterion for the multiplicative additive fragment of linear logic. We prove that deciding the correctness of corresponding proof structures is NLcomple...
69
Voted
CGO
2009
IEEE
15 years 9 months ago
2009
IEEE