| @inproceedings{BKM-fsttcs07, | ||
| address = | {New~Delhi, India}, | |
| author = | {Bollig, Benedikt and Kuske, Dietrich and Meinecke, Ingmar}, | |
| booktitle = | {{P}roceedings of the 27th {C}onference on {F}oundations of {S}oftware {T}echnology and {T}heoretical {C}omputer {S}cience ({FSTTCS}'07)}, | |
| DOI = | {10.1007/978-3-540-77050-3_25}, | |
| editor = | {Arvind, V. and Prasad, Sanjiva}, | |
| month = | dec, | |
| pages = | {303-315}, | |
| publisher = | {Springer}, | |
| series = | {Lecture Notes in Computer Science}, | |
| title = | {Propositional Dynamic Logic for Message-Passing Systems}, | |
| url = | {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BKM-fsttcs07.pdf}, | |
| volume = | {4855}, | |
| year = | {2007}, | |
| } | ||