"A Modal Logic for Message passing Processes (Extended Abstract)."

Matthew Hennessy, Xinxin Liu (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics