89 search results - page 1 / 18 » Semantic subtyping for the pi-calculus |
116
Voted
ACTA
2005
15 years 4 days 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,...
231
click to vote
POPL
2001
ACM
16 years 16 days 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 ...
113
click to vote
ENTCS
2008
15 years 8 days 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...
82
Voted
ENTCS
2008
15 years 8 days 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...
74
Voted
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer