David Peleg Communication in Concurrent Dynamic Logic. 23-58 1987 35 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss35.html#Peleg87