Author:
Giunti Marco,Vasconcelos Vasco T.
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lecture Notes in Computer Science;L. Caires,2010
2. Castagna, G., Dezani-Ciancaglini, M., Giachino, E., Padovani, L.: Foundations of session types. In: PPDP, pp. 219–230. ACM, New York (2009)
3. Lecture Notes in Computer Science;M. Dezani-Ciancaglini,2010
4. Dezani-Ciancaglini, M., Drossopoulou, S., Mostrous, D., Yoshida, N.: Objects and session types. Information and Computation 207, 595–641 (2009)
5. Gay, S.J., Hole, M.J.: Subtyping for session types in the pi calculus. Acta Informatica 42(2/3), 191–225 (2005)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Binary Session Types for Psi-Calculi;Programming Languages and Systems;2016
2. Declarative interpretations of session-based concurrency;Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming;2015-07-14
3. Shared contract-obedient channels;Science of Computer Programming;2015-03
4. Linearity, session types and the Pi calculus;Mathematical Structures in Computer Science;2014-11-10
5. Linear logic propositions as session types;Mathematical Structures in Computer Science;2014-11-10