A LOTOS Specification of the PROWAY Highway Service

Vincenza Carchiolo, Alberto Faro, Orazio Mirabella, Giuseppe Pappalardo, Giuseppe Scollo. A LOTOS Specification of the PROWAY Highway Service. IEEE Transactions on Computers, 35(11):949-968, 1986.

Possibly Related Publications

The following publications are possibly variants of this publication: