%0 Conference Paper %1 conf/coordination/BruniFK12 %A Bruni, Roberto %A Ferreira, Carla %A Kauer, Anne Kersten %B COORDINATION %D 2012 %E Sirjani, Marjan %I Springer %K carlaferreira myown %P 104-121 %T First-Order Dynamic Logic for Compensable Processes. %U http://dblp.uni-trier.de/db/conf/coordination/coordination2012.html#BruniFK12 %V 7274 %@ 978-3-642-30828-4

@inproceedings{conf/coordination/BruniFK12, added-at = {2023-01-30T14:42:52.000+0100}, author = {Bruni, Roberto and Ferreira, Carla and Kauer, Anne Kersten}, biburl = {https://www.bibsonomy.org/bibtex/24faa6387ead50790d1abec6b44615584/carlaferreira}, booktitle = {COORDINATION}, crossref = {conf/coordination/2012}, editor = {Sirjani, Marjan}, ee = {https://doi.org/10.1007/978-3-642-30829-1_8}, interhash = {42b600351462cf437b3afc5dc0eb0b1f}, intrahash = {4faa6387ead50790d1abec6b44615584}, isbn = {978-3-642-30828-4}, keywords = {carlaferreira myown}, pages = {104-121}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-01-30T14:42:52.000+0100}, title = {First-Order Dynamic Logic for Compensable Processes.}, url = {http://dblp.uni-trier.de/db/conf/coordination/coordination2012.html#BruniFK12}, volume = 7274, year = 2012 }