2 search results - page 1 / 1 » Solo Diagrams |
CORR
2010
Springer
13 years 7 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 ...
TACS
2001
Springer
13 years 12 months ago
2001
Springer
