A trace semantics for long-running transactions

Michael Butler, Tony Hoare, Carla Ferreira,

URL	http://link.springer.com/chapter/10.1007/11423348_8
Publisher	Springer Berlin Heidelberg
Series	LNCS
Number	3525
URL	http://link.springer.com/chapter/10.1007/11423348_8
Publisher	Springer Berlin Heidelberg
Series	LNCS
Number	3525

Publication