89 search results - page 1 / 18 » Semantic subtyping for the pi-calculus |
ACTA
2005
13 years 4 months ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
POPL
2001
ACM
14 years 4 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
ENTCS
2008
13 years 4 months ago
2008
We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational se...
ENTCS
2008
13 years 4 months ago
2008
In [24] the authors studied the expressiveness of persistence in the asynchronous -calculus (A) wrt weak barbed congruence. The study is incomplete because it ignores the issue of...
CONCUR
2007
Springer
13 years 10 months ago
2007
Springer