Types, or: Where's the Difference Between CCS and pi?
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
On the representation of McCarthy's amb in the π-calculus
Theoretical Computer Science - Expressiveness in concurrency
Mathematical Structures in Computer Science
Mobile processes and termination
Semantics and algebraic specification
| Hi-index | 0.00 |