Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu. A model for abstract process specification, verification and composition. In Marco Aiello, Mikio Aoyama, Francisco Curbera, Mike P. Papazoglou, editors, Service-Oriented Computing - ICSOC 2004, Second International Conference, New York, NY, USA, November 15-19, 2004, Proceedings. pages 232-241, ACM, 2004. [doi]
Abstract is missing.