Synthesizing Concurrency Control Components from Process Algebraic Specifications.

Edoardo Bont, Marco Bernardo, Jeff Magee, Jeff Kramer

Browse the full Coordination paper archive.