A Prototype for Data Race Detection in CSeq 3: (Competition Contribution)

von Coto, Alex
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)

A Pure View of Ecumenical Modalities

von Marin, Sonia
Veröffentlicht in Logic, Language, Information, and Computation (2021)

Ecumenical Modal Logic

von Marin, Sonia
Veröffentlicht in DaLí (3. : 2020 : Online) Dynamic logic (2020)