Author:
Caires Luís,Pérez Jorge A.
Publisher
Springer International Publishing
Reference22 articles.
1. Lecture Notes in Computer Science;L Bocchi,2010
2. Bonelli, E., Compagnoni, A., Gunter, E.: Correspondence assertions for process synchronization in concurrent communications. J. Funct. Program. 15, 219–247 (2005)
3. Caires, L., Pérez, J.A.: A typeful characterization of multiparty structured conversations based on binary sessions. CoRR, abs/1407.4242 (2014)
4. Lecture Notes in Computer Science;L Caires,2013
5. Lecture Notes in Computer Science;L Caires,2010
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献