%0 Conference Paper %1 conf/csl/VIICH05 %A VII, Tom Murphy %A Crary, Karl %A Harper, Robert %B CSL %D 2005 %E Ong, C.-H. Luke %I Springer %K dblp %P 51-69 %T Distributed Control Flow with Classical Modal Logic. %U http://dblp.uni-trier.de/db/conf/csl/csl2005.html#VIICH05 %V 3634 %@ 3-540-28231-9

@inproceedings{conf/csl/VIICH05, added-at = {2017-05-24T00:00:00.000+0200}, author = {VII, Tom Murphy and Crary, Karl and Harper, Robert}, biburl = {https://www.bibsonomy.org/bibtex/23b8c4c8dcfbe4bd2dbf47f45fd8b69c6/dblp}, booktitle = {CSL}, crossref = {conf/csl/2005}, editor = {Ong, C.-H. Luke}, ee = {https://doi.org/10.1007/11538363_6}, interhash = {c5dace907bacdc45b361d8dcc56cd715}, intrahash = {3b8c4c8dcfbe4bd2dbf47f45fd8b69c6}, isbn = {3-540-28231-9}, keywords = {dblp}, pages = {51-69}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:34:43.000+0200}, title = {Distributed Control Flow with Classical Modal Logic.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2005.html#VIICH05}, volume = 3634, year = 2005 }