The paper "Service Automata" by Richard Gay, Heiko Mantel, and Barbara Sprick has been accepted for publication at FAST 2011 (Formal Aspects of Security and Trust).