Sign in
Join Literal
Authors
Author
Ornela Dardha
Books
Type Systems for Distributed Programs
Ornela Dardha
Coordination Models and Languages
Ferruccio Damiani, Ornela Dardha