Author:
Carbone Marco,Honda Kohei,Yoshida Nobuko
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Advanced Message Queuing Protocol,
http://www.iona.com/opensource/amqp/
2. Long version of this paper,
http://www.dcs.qmul.ac.uk/~carbonem/exception
3. Lecture Notes in Computer Science;L. Bocchi,2003
4. Lecture Notes in Computer Science;E. Bonelli,2008
5. Lecture Notes in Computer Science;M. Boreale,2008
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Choral: Object-oriented Choreographic Programming;ACM Transactions on Programming Languages and Systems;2024-01-16
2. FTMPST: Fault-Tolerant Multiparty Session Types;Logical Methods in Computer Science;2023-11-27
3. Safe Asynchronous Mixed-Choice for Timed Interactions;Lecture Notes in Computer Science;2023
4. Safe Session-Based Concurrency with Shared Linear State;Programming Languages and Systems;2023
5. A Type Discipline for Message Passing Parallel Programs;ACM Transactions on Programming Languages and Systems;2022-12-21