Specifying communication in distributed information systems. (2000)

by H-D Ehrich, C Caleiro
Venue:Acta Informatica,