Specifying Message Passing Systems Requires Extending Temporal Logic.

Ron Koymans Specifying Message Passing Systems Requires Extending Temporal Logic. 191-204 1987 PODC db/conf/podc/podc87.html#Koymans87