Robert J. Walker, Kevin Viggers. Implementing protocols via declarative event patterns. In Richard N. Taylor, Matthew B. Dwyer, editors, Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004. pages 159-169, ACM, 2004. [doi]
Abstract is missing.