Eugster, P. Th.Damm, C.Guerraoui, R.2006-03-172006-03-172006-03-17200410.1109/ICSE.2004.1317457https://infoscience.epfl.ch/handle/20.500.14299/228854Towards Safe Distributed Application Developmenttext::conference output::conference proceedings::conference paper