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 |