Protocol-Based Integration Using SSDL and pi-Calculus Woodman, S., Parastatidis, S. and Webber, J. In: Workflows for E-science: Scientific Workflows for Grids Taylor, I. .J., Deelman, E., Gannon, D.B. and Shields, M. (eds.) pp. 227-243 Springer-Verlag ISBN: 978-1-84628-519-6 2007
On State Synchronization of Business Conversations Molina-Jimenez, C., Shrivastava, S. and Woodman, S. In Proceedings of the 8th IEEE International Conference on E-Commerce and Technology (CEC 2006), June 26-29, 2006, San Francisco, California pp. 324-327, IEEE Computer Society 2006
DECS: A System for Decentralised Coordination of Web Services Woodman, S., Palmer, D., Shrivastava, S. and Wheater, S. In Proceedings of the Middleware for Web Services (MWS) 2005 in Enschede, The Netherlands pp. 24-31, IEEE Computer Society 2005
Notations for the Specification and Verification of Composite Web Services Woodman, S.J., Palmer, D.J., Shrivastava, S.K, and Wheater, S.M. In Proceedings of the 8th IEEE International Enterprise Distributed Object Computing Conference (EDOC ‘04) September 20-24,2004, Monterey, California pp. 35-46, IEEE Computer Society 2004
Portal Replication for Web Application Availability Via SOAP Woodman, S.J., Morgan, G. and Parkin, S. In Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-time Dependable Systems (WORDS 2003), Guadalajara, Mexico, 15-17 January 2003 pp. 122-130 IEEE Computer Society Press 2003