Propositional Dynamic Logic for Message-Passing Systems

Authors: 
Bollig, B.
Kuske, D.
Meinecke, Ingmar
Year: 
2007
Appeared / Erschienen in: 
FSTTCS 2007, 303-315, Springer Lecture Notes in Computer Science vol. 4855 (2007).
Abstract link: 
http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/rapports.php?filename=lsv-2007&onlykey=LSV:07:22