The Polyadic Pi-calculus (Abstract)

Authors:
Robin Milner
Affiliations:
-
Venue:
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Year:
1992

Secrecy by typing in security protocols

Journal of the ACM (JACM)
Linearity and the pi-calculus

ACM Transactions on Programming Languages and Systems (TOPLAS)
A generic type system for the Pi-calculus

Theoretical Computer Science
Observational congruences for dynamically reconfigurable tile systems

Theoretical Computer Science - Process algebra
Dynamic reactive modules

CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory

Hi-index	0.00