A Modal Logic for Message Passing Processes (1995)

by M Hennessy, X Liu
Venue:Acta Informatica