@conference {DBLP:conf/coordination/BruniFK12,
	title = {First-Order Dynamic Logic for Compensable Processes},
	booktitle = {Coordination Models and Languages - 14th International Conference},
	year = {2012},
	note = {<p>n/a</p>
},
	month = {June 14-15},
	pages = {104-121},
	address = {Stockholm, Swenden},
	abstract = {<p>n/a</p>
},
	author = {Roberto Bruni and Carla Ferreira and Anne Kersten Kauer}
}
