Author:
Pfenning Frank,Caires Luis,Toninho Bernardo
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Avijit, K., Datta, A., Harper, R.: Distributed programming with distributed authorization. In: Proceedings of the 5th Workshop on Types in Language Design and Implementation, TLDI 2010, pp. 27–38. ACM, New York (2010)
2. Awodey, S., Bauer, A.: Propositions as [types]. Journal of Logic and Computation 14(4), 447–471 (2004)
3. Bengtson, J., Bhargavan, K., Fournet, C., Gordon, A.D., Maffeis, S.: Refinement types for secure implementations. In: 21st Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, pp. 17–32. IEEE Computer Society (June 2008)
4. Bonelli, E., Compagnoni, A., Gunter, E.L.: Correspondence Assertions for Process Synchronization in Concurrent Communications. J. of Func. Prog. 15(2), 219–247 (2005)
5. Lecture Notes in Computer Science;L. Caires,2010
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parameterized Algebraic Protocols;Proceedings of the ACM on Programming Languages;2023-06-06
2. A Decade of Dependent Session Types;23rd International Symposium on Principles and Practice of Declarative Programming;2021-09-06
3. Object-Level Reasoning with Logics Encoded in HOL Light;Electronic Proceedings in Theoretical Computer Science;2021-01-12
4. Verified Linear Session-Typed Concurrent Programming;22nd International Symposium on Principles and Practice of Declarative Programming;2020-09-08
5. Relating Process Languages for Security and Communication Correctness (Extended Abstract);Formal Techniques for Distributed Objects, Components, and Systems;2018