Paul C. Attie. On the Implementation Complexity of Specifications of Concurrent Programs. In Faith Ellen Fich, editor, Distributed Computing, 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003, Proceedings. Volume 2848 of Lecture Notes in Computer Science, pages 151-165, Springer, 2003. [doi]
Abstract is missing.