Federica Adobbati

Research Interests:

Concurrency

Formal models

Petri nets

Asynchronous games

Information flow

Control problems

Temporal logic

Laboratory:

Models of Concurrency, Communication and Computation (MC3)

Research:

Contacts:

f [dot] adobbati [at] campus [dot] unimib [dot] it

Federica Adobbati