Giorgio Bruno;Andrea Castella;Rakesh Agarwal;Mario P. Pescarmona
-;-;-;-
Control properties in object-oriented specifications
Concurrent object-oriented programming and petri nets