Safe Distribution of Declarative Processes

Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats. Safe Distribution of Declarative Processes. In Gilles Barthe, Alberto Pardo, Gerardo Schneider, editors, Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Volume 7041 of Lecture Notes in Computer Science, pages 237-252, Springer, 2011. [doi]

Authors

Thomas T. Hildebrandt

This author has not been identified. Look up 'Thomas T. Hildebrandt' in Google

Raghava Rao Mukkamala

This author has not been identified. Look up 'Raghava Rao Mukkamala' in Google

Tijs Slaats

This author has not been identified. Look up 'Tijs Slaats' in Google