Rubén Rubio, Adrián Riesco 0001, Narciso Martí-Oliet. PMaude Revisited Through Probabilistic Strategies. In José Meseguer 0001, Carlos A. Varela, Nalini Venkatasubramanian, editors, Concurrent Programming, Open Systems and Formal Methods - Essays Dedicated to Gul Agha to Celebrate His Scientific Career. Volume 16120 of Lecture Notes in Computer Science, pages 475-493, Springer, 2026. [doi]
Abstract is missing.