D. P. Simpson, J. S. Reeve. Deadlock Free Specification Based on Local Process Properties. In Peter M. A. Sloot, David Abramson, Alexander V. Bogdanov, Jack Dongarra, Albert Y. Zomaya, Yuri E. Gorbachev, editors, Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part III. Volume 2659 of Lecture Notes in Computer Science, pages 350-359, Springer, 2003. [doi]
Abstract is missing.