On the Design of Extended LOTOS, a Specification Language for Open Distributed Systems (1988)

by E Brinksma