84 search results - page 1 / 17 » A Chart Semantics for the Pi-Calculus |
114
Voted
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...
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 ...
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
105
Voted
AB
2007
Springer
15 years 6 months ago
2007
Springer
We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile con...