Author:
Bocchi Laura,Chen Tzu-Chun,Demangeon Romain,Honda Kohei,Yoshida Nobuko
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lecture Notes in Computer Science;L. Bettini,2008
2. Bocchi, L., Chen, T.-C., Demangeon, R., Honda, K., Yoshida, N.: Monitoring networks through multiparty session types. Technical Report 2013/3, Department of Computing, Imperial College London (2013)
3. Lecture Notes in Computer Science;L. Bocchi,2010
4. Capecchi, S., Castellani, I., Dezani-Ciancaglini, M.: Information flow safety in multiparty sessions. In: EXPRESS. EPTCS, vol. 64, pp. 16–30 (2011)
5. Capecchi, S., Giachino, E., Yoshida, N.: Global escape in multiparty session. In: FSTTCS 2010. LIPICS, vol. 8, pp. 338–351 (2010)
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors;Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang;2024-08-28
2. Monitoring Blackbox Implementations of Multiparty Session Protocols;Runtime Verification;2023
3. Protocol Conformance with Choreographic PlusCal;Theoretical Aspects of Software Engineering;2023
4. Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper);Formal Techniques for Distributed Objects, Components, and Systems;2020
5. Abstractions for Collective Adaptive Systems;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020