1. Proc. First International Symposium on Formal Methods for Components and Objects;Arbab,2003
2. Reo: a channel–based coordination model for component composition;Arbab;Mathematical Structures in Comp. Sci.,2004
3. The Algebra of Programming;Bird,1997
4. Implementation outline for orc;Cook,2005
5. Workflow patterns in orc;Cook,2006