{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:26:12Z","timestamp":1725549972423},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540287018"},{"type":"electronic","value":"9783540319030"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11549970_22","type":"book-chapter","created":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T12:53:44Z","timestamp":1131713624000},"page":"303-317","source":"Crossref","is-referenced-by-count":9,"title":["A Compositional Operational Semantics for OWL-S"],"prefix":"10.1007","author":[{"given":"Barry","family":"Norton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Foster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Hughes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","first-page":"308","volume-title":"The Semantic Web - ISWC 2002","author":"A. Ankolekar","year":"2002","unstructured":"Ankolekar, A., Huch, F., Sycara, K.: Concurrent execution semantics of DAML-S with subtypes. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 308\u2013332. Springer, Heidelberg (2002)"},{"key":"22_CR2","series-title":"Software Engineering Notes","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503209.503226","volume-title":"Proc. 8th European Soft. Eng. Conference and 9th ACM SIGSOFT International Symposium on Foundations of Soft. Eng. (ESEC\/FSE\u00a02001)","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proc. 8th European Soft. Eng. Conference and 9th ACM SIGSOFT International Symposium on Foundations of Soft. Eng. (ESEC\/FSE\u00a02001). Software Engineering Notes, vol.\u00a026, 5, pp. 109\u2013120. ACM Press, New York (2001)"},{"unstructured":"Martin, D., et al.: OWL-S: Semantic markup for web services (2004), \n                    \n                      http:\/\/www.daml.org\/services\/owl-s\/1.1\/overview\/","key":"22_CR3"},{"issue":"2","key":"22_CR4","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/inco.1995.1041","volume":"117","author":"M. Hennessy","year":"1995","unstructured":"Hennessy, M., Regan, T.: A process algebra for timed systems. Information and Computation\u00a0117(2), 221\u2013239 (1995)","journal-title":"Information and Computation"},{"key":"22_CR5","volume-title":"Communication and Concurrency","author":"A.J.R.G. Milner","year":"1989","unstructured":"Milner, A.J.R.G.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"22_CR6","volume-title":"Communicating and Mobile Systems: The Pi-Calculus","author":"A.J.R.G. Milner","year":"1999","unstructured":"Milner, A.J.R.G.: Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge (1999)"},{"doi-asserted-by":"crossref","unstructured":"Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: Proc. 11th Intl. World Wide Web Conference (WWW 2002), May 7-10 (2002)","key":"22_CR7","DOI":"10.1145\/511446.511457"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/978-3-540-45187-7_30","volume-title":"CONCUR 2003 - Concurrency Theory","author":"B. Norton","year":"2003","unstructured":"Norton, B., L\u00fcttgen, G., Mendler, M.: A compositional semantic theory for synchronous component-based design. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 461\u2013476. Springer, Heidelberg (2003)"},{"key":"22_CR9","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1109\/WICSA.2004.1310704","volume-title":"Proceedings of 4th IEEE\/IFIP Conference on Software Architecture (WICSA2004)","author":"B. Norton","year":"2004","unstructured":"Norton, B., Fairtlough, M.: Reactive types for dataflow-oriented software architectures. In: Martin, D.C. (ed.) Proceedings of 4th IEEE\/IFIP Conference on Software Architecture (WICSA2004), vol.\u00a0P2172, pp. 211\u2013220. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-540-39718-2_19","volume-title":"The Semantic Web - ISWC 2003","author":"M. Paolucci","year":"2003","unstructured":"Paolucci, M., Ankolekar, A., Srinivasan, N., Sycara, K.: The DAML-S virtual machine. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 290\u2013305. Springer, Heidelberg (2003)"},{"unstructured":"Roman, D., Lausen, H., Keller, U.: WSMO final draft (February 2005), \n                    \n                      http:\/\/www.wsmo.org\/TR\/d2\/v1.1\/","key":"22_CR11"},{"issue":"1","key":"22_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jswis.2005010101","volume":"1","author":"A. Sheth","year":"2005","unstructured":"Sheth, A., Ramakrishnan, C., Thomas, C.: Semantics for the Semantic Web: The implicit, the formal and the powerful. Intl. Journal on Semantic Web and Information Systems\u00a01(1), 1\u201318 (2005)","journal-title":"Intl. Journal on Semantic Web and Information Systems"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Computer Systems and Business Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11549970_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:58:49Z","timestamp":1619506729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11549970_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287018","9783540319030"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11549970_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}