Priority Batch Processing for Upper Bounded Response Times. - Ugo de Carlini; Antonino Mazzeo; Carlo Savy (Performance, 1979)

Support environment for the development of problem oriented concurrent systems. - Giulio Iannello; Antonino Mazzeo; Carlo Savy (Microprocess. Microprogramming, 1988)

Parallel software development in the DISC programming environment. - Giulio Iannello; Antonino Mazzeo; Carlo Savy; Giorgio Ventre (Future Gener. Comput. Syst., 1990)

Petri Net Modelling of PARSE Designs. - Stefano Russo 001; Carlo Savy; Innes Jelly; Peter Collingwood (Euro-Par, Vol. I, 1996)

Detecting deadlock with client-server analysis. - Innes Jelly; M. Mastroianni; Stefano Russo 001; Carlo Savy; Peter R. Croll (PDP, 1997)

Formal Specification of Concurrent Systems: A Structured Approach. - Antonino Mazzeo; Nicola Mazzocca; Stefano Russo 001; Carlo Savy; Valeria Vittorini (Comput. J., 1998)