2272 search results - page 160 / 455 » A Calculus for |
CORR
2010
Springer
15 years 4 months ago
2010
Springer
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We develop a version of the picalculus Picost where channels are interpreted as resources which have costs associated with them. Code runs under the financial responsibility of own...
123
Voted
EJC
2008
15 years 4 months ago
2008
We construct two bijections of the symmetric group Sn onto itself that enable us to show that three new three-variable statistics are equidistributed with classical statistics invo...
149
click to vote
ENTCS
2008
15 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
15 years 4 months ago
2008