Media type: E-Article Title: Formal Techniques for Networked and Distributed Sytems — FORTE 2002: Modelling SIP Services Using Cress Contributor: Turner, Kenneth J. Published: Springer Berlin Heidelberg, 2002 Published in: Formal Techniques for Networked and Distributed Sytems — FORTE 2002 (2002), Seite 162-177 Language: Not determined DOI: 10.1007/3-540-36135-9_11 ISBN: 9783540361350; 9783540001416 ISSN: 0302-9743 Origination: Footnote: