Mobile calculi for distributed programming
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Randomized dining philosophers without fairness assumption
Distributed Computing
A randomized encoding of the π-calculus with mixed choice
Theoretical Computer Science - Process algebra
Theoretical Computer Science
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Hi-index | 0.00 |