Publisher
Springer Nature Switzerland
Reference38 articles.
1. Aceto, L., Cassar, I., Francalanza, A., Ingólfsdóttir, A.: Bidirectional runtime enforcement of first-order branching-time properties. Log. Methods Comput. Sci. 19(1) (2023)
2. Agha, G.A.: ACTORS - A Model of Concurrent Computation in Distributed Systems. Artificial Intelligence. MIT Press, Cambridge (1990)
3. Balzer, S., Pfenning, F.: Manifest sharing with session types. Proc. ACM Program. Lang. 1(ICFP), 37:1–37:29 (2017)
4. Lecture Notes in Computer Science;L Caires,2010
5. Caires, L., Toninho, B.: The session abstract machine. In: Weirich, S. (ed.) ESOP 2024. LNCS, vol. 14576, pp. 206–235. Springer, Cham (2024). https://doi.org/10.1007/978-3-031-57262-3_9