Books

Coordination Models and Languages Coordination Models and Languages
2019
Static Analysis Static Analysis
2007
Semantics with Applications: An Appetizer Semantics with Applications: An Appetizer
2007