Louis Noizet, Alan Schmitt. Semantics in Skel and Necro. In Ugo Dal Lago, Daniele Gorla, editors, Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022. Volume 3284 of CEUR Workshop Proceedings, pages 99-115, CEUR-WS.org, 2022. [doi]
Abstract is missing.