Login / Signup
Giuliano Losa
ORCID
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 34
Top Topics
Coloured Petri Nets
Commit Protocols
Distributed Systems
Formal Verification
Top Venues
CoRR
PODC
DISC
Proc. ACM Program. Lang.
</>
Publications
</>