{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:50:19Z","timestamp":1742925019025,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642176845"},{"type":"electronic","value":"9783642176852"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17685-2_7","type":"book-chapter","created":{"date-parts":[[2010,12,6]],"date-time":"2010-12-06T01:19:35Z","timestamp":1291598375000},"page":"224-267","source":"Crossref","is-referenced-by-count":2,"title":["An Effective Methodology for Defining Consistent Semantics of Complex Systems"],"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":"7_CR1","unstructured":"Achten, P., van Eekelen, M., de Mol, M., Plasmeijer, R.: An Arrow based semantics for interactive applications. In: Moraz\u00e1n, M. (ed.) Proceedings of the 8th Symposium on Trends in Functional Programming, TFP 2007, New York, NY, USA, April 2-4 (2007)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/11541868_4","volume-title":"Theorem Proving in Higher Order Logics","author":"B.E. Aydemir","year":"2005","unstructured":"Aydemir, B.E., Bohannon, A., Fairbairn, M., Foster, J.N., Pierce, B.C., Sewell, P., Vytiniotis, D., Washburn, G., Weirich, S., Zdancewic, S.: Mechanized metatheory for the masses: The poplmark challenge. In: Hurd, J., Melham, T. (eds.) TPHOLs 2005. LNCS, vol.\u00a03603, pp. 50\u201365. Springer, Heidelberg (2005)"},{"key":"7_CR3","volume-title":"The lambda calculus, its syntax and semantics (revised edition),of Studies in Logic","author":"H. Barendregt","year":"1984","unstructured":"Barendregt, H.: The lambda calculus, its syntax and semantics (revised edition). Studies in Logic, vol.\u00a0103. North-Holland, Amsterdam (1984)"},{"issue":"9","key":"7_CR4","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1145\/1090189.1086389","volume":"40","author":"J. Cheney","year":"2005","unstructured":"Cheney, J.: Scrap your nameplate (functional pearl). SIGPLAN Not.\u00a040(9), 180\u2013191 (2005)","journal-title":"SIGPLAN Not."},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-642-04652-0_3","volume-title":"Advanced Functional Programming","author":"O. Danvy","year":"2009","unstructured":"Danvy, O.: From reduction-based to reduction-free normalization. In: Koopman, P., Plasmeijer, R., Swierstra, D. (eds.) AFP 2008. LNCS, vol.\u00a05832, pp. 66\u2013164. Springer, Heidelberg (2009)"},{"key":"7_CR6","first-page":"163","volume-title":"Proceedings of the 6th Symposium on Trends in Functional Programming, TFP 2005","author":"P. Koopman","year":"2005","unstructured":"Koopman, P., Plasmeijer, R.: Generic generation of elements of types. In: Proceedings of the 6th Symposium on Trends in Functional Programming, TFP 2005, Tallin, Estonia, Septmeber 23-24, pp. 163\u2013178. Intellect Books, Bristol (2005) ISBN 978-1-84150-176-5"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/11541868_5","volume-title":"Theorem Proving in Higher Order Logics","author":"C.E. Benzm\u00fcller","year":"2005","unstructured":"Benzm\u00fcller, C.E., Brown, C.E.: A structured set of higher-order problems. In: Hurd, J., Melham, T. (eds.) TPHOLs 2005. LNCS, vol.\u00a03603, pp. 66\u201381. Springer, Heidelberg (2005)"},{"key":"7_CR8","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":"7_CR9","first-page":"53","volume-title":"Revised Selected Papers of the 20th International Symposium on the Implementation and Application of Functional Languages, IFL 2008","author":"P. Koopman","year":"2008","unstructured":"Koopman, P., Plasmeijer, R., Achten, P.: An executable and testable semantics for iTasks. In: Scholz, S.-B. (ed.) Revised Selected Papers of the 20th International Symposium on the Implementation and Application of Functional Languages, IFL 2008, pp. 53\u201364. University of Hertfordshire, UK (2008)"},{"key":"7_CR10","unstructured":"Lakin, M.R., Pitts, A.M.: A metalanguage for structural operational semantics. In: Moraz\u00e1n, M. (ed.) Trends in Functional Programming, vol.\u00a08, pp. 19\u201335. Intellect (2008)"},{"key":"7_CR11","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":"7_CR12","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":"7_CR13","unstructured":"de Mol, M.: Reasoning About Functional Programs - Sparkle: a proof assistant for Clean. PhD thesis, Institute for Computing and Information Sciences, Radboud University Nijmegen,(2009) ISBN 978-90-9023885-2"},{"key":"7_CR14","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, (November 2007)"},{"key":"7_CR15","volume-title":"Semantics with applications: a formal introduction","author":"H. Nielson","year":"1992","unstructured":"Nielson, H., Nielson, F.: Semantics with applications: a formal introduction. John Wiley & Sons, Chichester (1992)"},{"key":"7_CR16","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 - Programming interconnected web forms. In: Hagiya, M., Wadler, P. (eds.) FLOPS 2006. LNCS, vol.\u00a03945, pp. 242\u2013258. Springer, Heidelberg (2006)"},{"key":"7_CR17","volume-title":"Functional programming and parallel graph rewriting","author":"R. Plasmeijer","year":"1993","unstructured":"Plasmeijer, R., van Eekelen, M.: Functional programming and parallel graph rewriting. Addison-Wesley Publishing Company, Reading (1993) ISBN 0-201-41663-8"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2004.03.009","volume":"60-61","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: The origins of structural operational semantics. Journal of Logic and Algebraic Programming\u00a060-61, 3\u201315 (2004)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"7_CR19","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)"},{"issue":"9","key":"7_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1291220.1291155","volume":"42","author":"P. Sewell","year":"2007","unstructured":"Sewell, P., Nardelli, F.Z., Owens, S., Peskine, G., Ridge, T., Sarkar, S., Strni\u0161a, R.: Ott: effective tool support for the working semanticist. SIGPLAN Not.\u00a042(9), 1\u201312 (2007)","journal-title":"SIGPLAN Not."},{"key":"7_CR21","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":"7_CR22","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"J.E. Stoy","year":"1977","unstructured":"Stoy, J.E.: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, Cambridge (1977)"},{"key":"7_CR23","unstructured":"Team, T.C.D.: The Coq proof assistant reference manual, (version 7.0) (1998), \n                  \n                    http:\/\/pauillac.inria.fr\/coq\/doc\/main.html"},{"key":"7_CR24","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1016\/j.tcs.2004.06.016","volume":"323","author":"C. Urban","year":"2004","unstructured":"Urban, C., Pitts, A.M., Gabbay, M.J.: Nominal unification. Theoretical Computer Science\u00a0323, 473\u2013497 (2004)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Central European Functional Programming School"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17685-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T13:54:52Z","timestamp":1553262892000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17685-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642176845","9783642176852"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17685-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}