A model for abstract process specification, verification and composition.

Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu

Browse the full ICSOC paper archive.