Carlo Savy

Publication Activity (10 Years)

Years Active: 1979-1998
Publications (10 Years): 0

Publications

Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Carlo Savy, Valeria Vittorini
Formal Specification of Concurrent Systems: A Structured Approach. Comput. J. 41 (3) (1998)
Innes Jelly, M. Mastroianni, Stefano Russo, Carlo Savy, Peter R. Croll
Detecting deadlock with client-server analysis. PDP (1997)
Stefano Russo, Carlo Savy, Innes Jelly, Peter Collingwood
Petri Net Modelling of PARSE Designs. Euro-Par, Vol. I (1996)
Giulio Iannello, Antonino Mazzeo, Carlo Savy, Giorgio Ventre
Parallel software development in the DISC programming environment. Future Gener. Comput. Syst. 5 (4) (1990)
Giulio Iannello, Antonino Mazzeo, Carlo Savy
Support environment for the development of problem oriented concurrent systems. Microprocess. Microprogramming 23 (1-5) (1988)
Ugo de Carlini, Antonino Mazzeo, Carlo Savy
Priority Batch Processing for Upper Bounded Response Times. Performance (1979)