Giuseppe Scollo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1988–1992
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1992 | FORTE | Protocol design using LOTOS: A critical synthesis of a standardization experience. | Harro Kremer, Jeroen van de Lagemaat, Axel Rennoch, Giuseppe Scollo |
| 1991 | COMPASS | A Soft Stairway to Institutions. | Antonino Salibra, Giuseppe Scollo |
| 1989 | MFCS | On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification). | Vincenzo Manca, Antonino Salibra, Giuseppe Scollo |
| 1988 | FORTE | On the Use of LOTOS for the Formal Description of a Transport Protocol. | Jeroen van de Lagemaat, Giuseppe Scollo |