{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T23:02:19Z","timestamp":1765666939019},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642244513"},{"type":"electronic","value":"9783642244520"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24452-0_12","type":"book-chapter","created":{"date-parts":[[2011,9,26]],"date-time":"2011-09-26T01:52:52Z","timestamp":1317001972000},"page":"212-232","source":"Crossref","is-referenced-by-count":7,"title":["An Executable and Testable Semantics for iTasks"],"prefix":"10.1007","author":[{"given":"Pieter","family":"Koopman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Achten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Achten, P., van Eekelen, M., de Mol, M., Plasmeijer, R.: An Arrow based semantics for interactive applications. In: Moraz\u00e1n, M. (ed.) Preliminary Proceedings of the 8th Symposium on Trends in Functional Programming, TFP 2007, New York, NY, USA, April 2-4 (2007)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-46028-4_11","volume-title":"Implementation of Functional Languages","author":"A. Alimarine","year":"2002","unstructured":"Alimarine, A., Plasmeijer, R.: A generic programming extension for clean. In: Arts, T., Mohnen, M. (eds.) IFL 2002. LNCS, vol.\u00a02312, pp. 168\u2013186. Springer, Heidelberg (2002)"},{"key":"12_CR3","unstructured":"de Mol, M., van Eekelen, M., Plasmeijer, R.: The mathematical foundation of the proof assistant Sparkle. Technical Report ICIS-R07025, Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands (November 2007)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/11924661_9","volume-title":"Programming Languages and Systems","author":"P. Koopman","year":"2006","unstructured":"Koopman, P., Plasmeijer, R.: Automatic testing of higher order functions. In: Kobayashi, N. (ed.) APLAS 2006. LNCS, vol.\u00a04279, pp. 148\u2013164. Springer, Heidelberg (2006)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/11894100_2","volume-title":"Central European Functional Programming School","author":"P. Koopman","year":"2006","unstructured":"Koopman, P., Plasmeijer, R.: Fully Automatic Testing with Functions as Specifications. In: Horv\u00e1th, Z. (ed.) CEFP 2005. LNCS, vol.\u00a04164, pp. 35\u201361. Springer, Heidelberg (2006)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"762","DOI":"10.1007\/11424826_81","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2005","author":"S.-Y. Lee","year":"2005","unstructured":"Lee, S.-Y., Lee, Y.-H., Kim, J.-G., Lee, D.C.: Workflow system modeling in the mobile healthcare B2B using semantic information. In: Gervasi, O., Gavrilova, M.L., Kumar, V., Lagan\u00e1, A., Lee, H.P., Mun, Y., Taniar, D., Tan, C.J.K. (eds.) ICCSA 2005. LNCS, vol.\u00a03481, pp. 762\u2013770. Springer, Heidelberg (2005)"},{"key":"12_CR7","first-page":"2006","volume":"18","author":"B. Lud\u00e4scher","year":"2005","unstructured":"Lud\u00e4scher, B., Altintas, I., Berkley, C., Higgins, D., Jaeger, E., Jones, M., Lee, E., Tao, J., Zhao, Y.: Scientific workflow management and the Kepler system. Concurrency and Computation: Practice & Experience\u00a018, 2006 (2005)","journal-title":"Concurrency and Computation: Practice & Experience"},{"key":"12_CR8","volume-title":"Semantics with applications: a formal introduction","author":"H.R. Nielson","year":"1992","unstructured":"Nielson, H.R., Nielson, F.: Semantics with applications: a formal introduction. John Wiley & Sons, Inc., Chichester (1992)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/11737414_17","volume-title":"Functional and Logic Programming","author":"R. Plasmeijer","year":"2006","unstructured":"Plasmeijer, R., Achten, P.: iData for the world wide web \u2013 programming interconnected web forms. In: Hagiya, M. (ed.) FLOPS 2006. LNCS, vol.\u00a03945, pp. 242\u2013258. Springer, Heidelberg (2006)"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1145\/1291151.1291174","volume-title":"Proceedings of the 12th International Conference on Functional Programming, ICFP 2007","author":"R. Plasmeijer","year":"2007","unstructured":"Plasmeijer, R., Achten, P., Koopman, P.: iTasks: executable specifications of interactive work flow systems for the web. In: Proceedings of the 12th International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, pp. 141\u2013152. ACM Press, New York (2007)"},{"key":"12_CR11","unstructured":"Russell, N., ter Hofstede, A., van der Aalst, W.: newYAWL: specifying a workflow reference language using coloured Petri nets. In: Proceedings of the 8th 2007 (2007)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BFb0055763","volume-title":"Mathematical Foundations of Computer Science 1998","author":"C. Stirling","year":"1998","unstructured":"Stirling, C.: The joys of bisimulation. In: Brim, L., Gruska, J., Zlatu\u0161ka, J. (eds.) MFCS 1998. LNCS, vol.\u00a01450, pp. 142\u2013151. Springer, Heidelberg (1998)"},{"key":"12_CR13","unstructured":"T.C.D. Team The Coq proof assistant reference manual, version 7.0 (1998), \n                  \n                    http:\/\/pauillac.inria.fr\/coq\/doc\/main.html"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24452-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,7]],"date-time":"2019-04-07T19:01:17Z","timestamp":1554663677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24452-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244513","9783642244520"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24452-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}