dblp.uni-trier.dewww.uni-trier.de

Carlo Savy

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998
4 Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Carlo Savy, Valeria Vittorini: Formal Specification of Concurrent Systems: A Structured Approach. Comput. J. 41(3): 145-162 (1998)
1997
3 Innes Jelly, M. Mastroianni, Stefano Russo, Carlo Savy, Peter R. Croll: Detecting deadlock with client-server analysis. PDP 1997: 351-357
1996
2 Stefano Russo, Carlo Savy, Innes Jelly, Peter Collingwood: Petri Net Modelling of PARSE Designs. Euro-Par, Vol. I 1996: 752-761
1979
1 Ugo de Carlini, Antonino Mazzeo, Carlo Savy: Priority Batch Processing for Upper Bounded Response Times. Performance 1979: 229-240

Coauthor Index

1Ugo de Carlini [1]
2Peter Collingwood [2]
3Peter R. Croll [3]
4Innes Jelly [2] [3]
5M. Mastroianni [3]
6Antonino Mazzeo [1] [4]
7Nicola Mazzocca [4]
8Stefano Russo [2] [3] [4]
9Valeria Vittorini [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)