2 search results - page 1 / 1 » Solo Diagrams |
116
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that ...
