Not registered as user yet
Affiliation:University of Bologna
Research interests:Concurrent systems, especially mobile and higher order: semantics, verification techniques. High-level languages for specifying and programming concurrent activities. Systolic automata and systems.
|POPL 2022||From Enhanced Coinduction towards Enhanced Induction|
|Show activities from other conferences|
Using general profile