Rocco De Nicola
-
Description for a Tool Specifying and Prototyping Concurrent Programs
IEEE Transactions on Software Engineering