Claudia Misale

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 23

Top Topics

Significantly Reduced

Formal Semantics

Parallel Programming

Locking Protocol

Top Venues

Publications