Carlo Savy

According to our database, Carlo Savy authored at least 6 papers between 1979 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1998

Formal Specification of Concurrent Systems: A Structured Approach.

Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Carlo Savy, Valeria Vittorini

Comput. J., 1998

1997

Detecting deadlock with client-server analysis.

Innes Jelly, M. Mastroianni, Stefano Russo, Carlo Savy, Peter R. Croll

Proceedings of the Fifth Euromicro Workshop on Parallel and Distributed Processing (PDP '97), 1997

1996

Petri Net Modelling of PARSE Designs.

Stefano Russo, Carlo Savy, Innes Jelly, Peter Collingwood

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1990

Parallel software development in the DISC programming environment.

Giulio Iannello, Antonino Mazzeo, Carlo Savy, Giorgio Ventre

Future Gener. Comput. Syst., 1990

1988

Support environment for the development of problem oriented concurrent systems.

Giulio Iannello, Antonino Mazzeo, Carlo Savy

Microprocess. Microprogramming, 1988

1979

Priority Batch Processing for Upper Bounded Response Times.

Ugo de Carlini, Antonino Mazzeo, Carlo Savy

Proceedings of the Performance of Computer Systems, 1979