External Publications

6 publications | cashew

Norton, B., Pedrinaci, C., Henocque, L. and Kleiner, M. (2008) 3-Level Behavioural Models for Semantic Web Services, International Transactions on Systems Science and Applications, 4, 4, pp. 340-355

Norton, B. and Pedrinaci, C. (2006) 3-Level Service Composition and Cashew: A Model for Orchestration and Choreography in Semantic Web Services, Workshop: 2nd International Workshop on Agents, Web Services and Ontologies Merging (AWeSOMe'06) at OnTheMove Federated Conferences (OTM'06), Montpelier, FR

Norton, B. (2005) Experiences with OWL-S, Directions for Service Composition: The Cashew Position, Workshop: OWL: Experiences and Directions, Galway, Ireland

Norton, B., Foster, S. and Hughes, A. (2005) A Compositional Operational Semantics for OWL-S, Workshop: 2nd International Workshop on Web Services and Formal Methods (WS-FM 2005), Versailles, France Formal Techniques for Computer Systems and Business Processes, eds. Mario Bravetti, Leila Kloul, Gianluigi Zavattaro, LNCS 3670, pp. 303-317, Springer

Norton, B. (2005) Behavioural Types for Synchronous Software Composition, Workshop: Workshop on Foundation of Interface Technologies (FIT 2005), San Francisco, US

Norton, B., Luttgen, G. and Mendler, M. (2003) A Compositional Semantic Theory for Synchronous Component-Based Design, 14th International Conference on Concurrency Theory (CONCUR'03), Marseilles, France CONCUR 2003 - Concurrency Theory, eds. Roberto Amadio, Denis Lugiez, LNCS 2761, pp. 461-476, Springer