Author:
Hym Samuel,Hennessy Matthew
Subject
General Computer Science,Theoretical Computer Science
Reference8 articles.
1. The π-Calculus;Sangiorgi,2001
2. Resource access control in systems of mobile agents;Hennessy;Information and Computation,2002
3. Towards a behavioural theory of access and mobility control in distributed systems;Hennessy;Theoretical Computer Science,2003
4. Recursive subtyping revealed;Gapeyev;Journal of Functional Programming,2003
5. Types and Programming Languages;Pierce,2002
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synchronization operator for communication privacy;Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing;2022-04-25
2. Modeling mobile stateful channels inπZ;Science of Computer Programming;2013-09
3. Mobility control via passports;Information and Computation;2009-02
4. Towards a Type Theory of WS-CDL Based on Process Algebra;2009 International Conference on Management of e-Commerce and e-Government;2009
5. Parametrised Constants and Replication for Spatial Mobility;Lecture Notes in Computer Science;2009