Pubblicazioni

Conflict vs causality in event structures

2019 - ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Gorla, Daniele; Salvo, Ivano; Piperno, Adolfo

Cycle detection in computation tree logic

2016 - ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Fontaine, G.; Mogavero, F.; Murano, A.; Perelli, G.; Sorrentino, L.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma