Executable Semantics and Type Checking for Session-Based Concurrency in Maude

von Restrepo, Carlos Alberto Ramírez
Veröffentlicht in WRLA (14. : 2022 : Online; München) Rewriting logic and its applications (2022)