Introduction to the ISO specification language Lotos (1988)

by Tommaso Bolognesi
Venue:Computer Networks