Possible Worlds for Process Algebras.

Simone Veglioni, Rocco De Nicola

Browse the full CONCUR paper archive.