Author:
Hennessy Matthew,Rathke Julian,Yoshida Nobuko
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference26 articles.
1. Boreale, M., Sangiorgi, D.: Bisimulation in name-passing calculi without matching. In Proceedings of 13th LICS Conf, IEEE Computer Society Press (1998)
2. Cardelli, L., Ghelli, G., Gordon, A.: Ambient groups and mobility types. In Proceedings of IFIP TCS 2000, vol. 1872 of Lecture Notes in Computer Science, Springer-Verlag (2000)
3. Cardelli, L., Gordon, A.: Mobile ambients. In Proceedings of FoSSaCS '98, LNCS, Springer-Verlag (1998)
4. Castagna, G., Nardelli, F.Z.: The Seal calculus revisited: Contextual equivalences and bisimilarity. In Proceedings of FSTTCS, Lecture Notes in Computer Science (2002)
5. Castagna, G., Vitek, J., Zappa, F.: The Seal calculus. Available from ftp://ftp.di.ens.fr/pub/users/castagna/seal.ps.gz.
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards GDPR Compliant Software Design: A Formal Framework for Analyzing System Models;Communications in Computer and Information Science;2020
2. Verifying message-passing programs with dependent behavioural types;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08
3. Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework;Formal Techniques for Distributed Objects, Components, and Systems;2019
4. A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR;Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering;2019
5. From Behavioural Contracts to Session Types;Models, Languages, and Tools for Concurrent and Distributed Programming;2019