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.

Abstract

Abstract is missing.