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.

Authors

Vincenza Carchiolo

This author has not been identified. Look up 'Vincenza Carchiolo' in Google

Alberto Faro

This author has not been identified. Look up 'Alberto Faro' in Google

Orazio Mirabella

This author has not been identified. Look up 'Orazio Mirabella' in Google

Giuseppe Pappalardo

This author has not been identified. Look up 'Giuseppe Pappalardo' in Google

Giuseppe Scollo

This author has not been identified. Look up 'Giuseppe Scollo' in Google