{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T14:22:49Z","timestamp":1737037369326,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437604"},{"type":"electronic","value":"9783540480051"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48005-6_25","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T21:15:43Z","timestamp":1179609343000},"page":"318-332","source":"Crossref","is-referenced-by-count":15,"title":["Concurrent Execution Semantics of DAML-S with Subtypes"],"prefix":"10.1007","author":[{"given":"Anupriya","family":"Ankolekar","sequence":"first","affiliation":[]},{"given":"Frank","family":"Huch","sequence":"additional","affiliation":[]},{"given":"Katia","family":"Sycara","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,5,29]]},"reference":[{"key":"25_CR1","unstructured":"A. Ankolekar, M. Burstein, J. Hobbs, O. Lassila, D. Martin, S. McIlraith, S. Narayanan, M. Paolucci, T. Payne, K. Sycara, and H. Zeng. DAML-S: Semantic markup for Web services. In Proceedings of the International Semantic Web Working Symposium (SWWS), pages 411\u2013430, 2001."},{"key":"25_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the Fifth International Conference on Coordination Models and Languages","author":"A. Ankolekar","year":"2002","unstructured":"A. Ankolekar, F. Huch, and K. Sycara. Concurrent semantics for the web services specification language DAML-S. In Proceedings of the Fifth International Conference on Coordination Models and Languages, volume 2315 of Springer Lecture Notes in Computer Science. Springer Verlag, April 2002."},{"key":"25_CR3","unstructured":"E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. Web services description language (WSDL) 1.1, 2001."},{"key":"25_CR4","unstructured":"D. Connolly, F. van Harmelen, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider, and L. A. Stein. DAML+OIL (march 2001) reference description. http:\/\/www.w3.org\/TR\/daml+oil-reference ."},{"issue":"3","key":"25_CR5","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0304-3975(87)90109-5","volume":"52","author":"M. Felleisen","year":"1987","unstructured":"M. Felleisen, D. P. Friedman, E. E. Kohlbecker, and B. Duba. A syntactic theory of sequential control. Theoretical Computer Science, 52(3):205\u2013237, 1987.","journal-title":"Theoretical Computer Science"},{"key":"25_CR6","unstructured":"R. Fikes and D. McGuinness. An axiomatic semantics for RDF, RDF-S, and DAML+OIL, W3C note 12."},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"F. Huch. Verification of Erlang programs using abstract interpretation and model checking. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP\u2019 99), volume 34\u20139 of ACM SIGPLAN Notices, pages 261\u2013272. ACM Press, September 1999. Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP\u2019 99).","DOI":"10.1145\/317636.317908"},{"key":"25_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Distributed programming in Haskell with ports","author":"F. Huch","year":"2000","unstructured":"F. Huch and U. Norbisrath. Distributed programming in Haskell with ports. Lecture Notes in Computer Science, 2011, 2000."},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"S. P. Jones, A. Gordon, and S. Finne. Concurrent Haskell. In Conference Record of POPL\u2019 96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 295\u2013308, St. Petersburg Beach, Florida, 1996.","DOI":"10.1145\/237721.237794"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"S. Kaes. Type inference in the presence of overloading, subtyping and recursive types. In Proceedings of the Conference on Lisp and Functional programming, pages 193\u2013204. ACM Press, 1992.","DOI":"10.1145\/141471.141540"},{"key":"25_CR11","unstructured":"F. Leymann. Web services flow language (WSFL) 1.0."},{"key":"25_CR12","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"25_CR13","unstructured":"R. Milner. The polyadic \u03c0-calculus: A tutorial. Technical report, University of Edinburgh, 1991."},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"S. Narayanan and S. McIllraith. Simulation, verification, and automated composition of web services. In Proceedings of the Eleventh International World Wide Web Conference (WWW2002), 2002.","DOI":"10.1145\/511446.511457"},{"key":"25_CR15","unstructured":"P. Niederau. Objectorientierte erweiterungen einer deklarativen programmiersprache. Master\u2019s thesis, RWTH Aachen, August 2000."},{"key":"25_CR16","unstructured":"S. Thatte. XLANG: Web services for business process design, 2001."},{"key":"25_CR17","unstructured":"UDDI. The UDDI technical white paper. http:\/\/www.uddi.org\/ , 2000."},{"key":"25_CR18","unstructured":"F. van Harmelen, P. F. Patel-Schneider, and I. Horrocks. A model-theoretic semantics for DAML+OIL. http:\/\/www.daml.org\/2001\/03\/model-theoretic-semantics.html ."}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2014 ISWC 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48005-6_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T13:37:47Z","timestamp":1737034667000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48005-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437604","9783540480051"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-48005-6_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}