Stutz, Felix Group B. Brandenburg, Max Planck Institute for Software Systems, Max Planck Society;
https://rdcu.be/d0Jwk (Publisher version)
2023-Computer_Aided_Verification,_35th_International_Conference,_CAV_2023,_Paris,_France,_July....pdf (Publisher version), 614KB
Li, E., Stutz, F., Wies, T., & Zufferey, D. (2023). Complete Multiparty Session Type Projection with Automata. In C. Enea, & A. Lal (Eds.), Computer Aided Verification (pp. 350-373). Berlin: Springer. doi:10.1007/978-3-031-37709-9_17.
