Anytime, anywhere: modal logics for mobile ambients (2000)

by Luca Cardelli , Andrew D. Gordon
Venue:In POPL ’00: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Citations:163 - 14 self