Author:
Dezani-Ciancaglini Mariangiola,de’Liguoro Ugo,Yoshida Nobuko
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Beaton, J., Weijiland, W.: Process Algebra. Cambridge Tracks in Theoretical Computer Science. In: CUP, vol. 18 (2000)
2. Bonelli, E., Compagnoni, A., Gunter, E.: Correspondence Assertions for Process Synchronization in Concurrent Communications. Journal of Functional Programming 15(2), 219–248 (2005)
3. Lecture Notes in Computer Science;S. Briais,2005
4. Lecture Notes in Computer Science;L. Caires,2007
5. Lecture Notes in Computer Science;M. Carbone,2007
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Session Types with Multiple Senders Single Receiver;Dependable Software Engineering. Theories, Tools, and Applications;2023-12-15
2. Safe Session-Based Concurrency with Shared Linear State;Programming Languages and Systems;2023
3. Safe Asynchronous Mixed-Choice for Timed Interactions;Lecture Notes in Computer Science;2023
4. Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
5. Prioritise the Best Variation;Formal Techniques for Distributed Objects, Components, and Systems;2021