A Modal Logic for Message Passing Processes (1995)

by X Liu M Hennessy
Venue:Acta Informatics