Edoardo Bontà , Marco Bernardo, Jeff Magee, Jeff Kramer. Synthesizing Concurrency Control Components from Process Algebraic Specifications. In Paolo Ciancarini, Herbert Wiklicky, editors, Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Volume 4038 of Lecture Notes in Computer Science, pages 28-43, Springer, 2006. [doi]
Abstract is missing.