De Nicola, Rocco and Veglioni, Simone  Possible Worlds for Process Algebras.   In:  CONCUR '98 Concurrency Theory.   Lecture Notes in Computer Science, 1466 .  Springer, pp. 179-193.  ISBN 3-540-64896-8      (1998)