Raffaele di Giovanni
-
Modeling a library with THORNs
Concurrent object-oriented programming and petri nets