Discourje: Runtime Verification of Communication Protocols in Clojure-Reference-Cited by-同舟云学术

Discourje: Runtime Verification of Communication Protocols in Clojure

Published:2020 Issue: Volume: Page:266-284
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Hamers Ruben,Jongmans Sung-Shik^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-45190-5_15

Reference48 articles.

1. Ancona, D., Bono, V., Bravetti, M., Campos, J., Castagna, G., Deniélou, P., Gay, S.J., Gesbert, N., Giachino, E., Hu, R., Johnsen, E.B., Martins, F., Mascardi, V., Montesi, F., Neykova, R., Ng, N., Padovani, L., Vasconcelos, V.T., Yoshida, N.: Behavioral types in programming languages. Foundations and Trends in Programming Languages 3(2–3), 95–230 (2016)

2. Barnett, M., Chang, B.E., DeLine, R., Jacobs, B., Leino, K.R.M.: Boogie: A modular reusable verifier for object-oriented programs. In: FMCO. Lecture Notes in Computer Science, vol. 4111, pp. 364–387. Springer (2005)

3. Bocchi, L., Chen, T., Demangeon, R., Honda, K., Yoshida, N.: Monitoring networks through multiparty session types. Theor. Comput. Sci. 669, 33–58 (2017)

4. Bocchi, L., Honda, K., Tuosto, E., Yoshida, N.: A theory of design-by-contract for distributed multiparty interactions. In: CONCUR. Lecture Notes in Computer Science, vol. 6269, pp. 162–176. Springer (2010)

5. Bocchi, L., Yang, W., Yoshida, N.: Timed multiparty session types. In: CONCUR. Lecture Notes in Computer Science, vol. 8704, pp. 419–434. Springer (2014)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Separation and Encodability in Mixed Choice Multiparty Sessions;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

2. Programming Language Implementations with Multiparty Session Types;Lecture Notes in Computer Science;2024

3. Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems;Lecture Notes in Computer Science;2024

4. Towards Gradual Multiparty Session Typing;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10

5. The Discourje project: run-time verification of communication protocols in Clojure;International Journal on Software Tools for Technology Transfer;2022-09-20