{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:57:32Z","timestamp":1725472652511},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642320958"},{"type":"electronic","value":"9783642320965"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-32096-5_6","type":"book-chapter","created":{"date-parts":[[2012,7,11]],"date-time":"2012-07-11T02:23:57Z","timestamp":1341973437000},"page":"279-338","source":"Crossref","is-referenced-by-count":2,"title":["Reasoning about Multi-process Systems with the Box Calculus"],"prefix":"10.1007","author":[{"given":"Greg","family":"Michaelson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gudmund","family":"Grov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M. Burstall","year":"1977","unstructured":"Burstall, R.M., Darlington, J.: A transformation system for developing recursive programs. Journal of the Association for Computing Machinery\u00a024(1), 44\u201367 (1977)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Bird, R., de Moor, O.: Algebra of Programming. Prentice-Hall (1997)","DOI":"10.1007\/978-3-642-61455-2_12"},{"key":"6_CR3","first-page":"3","volume-title":"Logic of Programming and Calculi of Discrete Design","author":"R.S. Bird","year":"1987","unstructured":"Bird, R.S.: An introduction to the theory of lists. In: Broy, M. (ed.) Logic of Programming and Calculi of Discrete Design, pp. 3\u201342. Springer, Heidelberg (1987)"},{"key":"6_CR4","first-page":"120","volume-title":"Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS 1997)","author":"S. Breitinger","year":"1997","unstructured":"Breitinger, S., Loogen, R., Ortega Mallen, Y., Pena, R.: The Eden Coordination Model for Distributed Memory Systems. In: Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS 1997), pp. 120\u2013124. IEEE Computer Society, Washington, DC (1997)"},{"issue":"1","key":"6_CR5","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1093\/comjnl\/12.1.41","volume":"12","author":"R. Burstall","year":"1969","unstructured":"Burstall, R.: Proving properties of programs by structural induction. Computer Journal\u00a012(1), 41\u201348 (1969)","journal-title":"Computer Journal"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"345","DOI":"10.2307\/2371045","volume":"58","author":"A. Church","year":"1936","unstructured":"Church, A.: An unsolvable problem of elementary number theory. American Journal of Mathematics\u00a058, 345\u2013363 (1936)","journal-title":"American Journal of Mathematics"},{"key":"6_CR7","unstructured":"Chapman, B., Jost, G., van der Pas, R.: Using OpenMP: Portable Shared Memory Parallel Programming (Scientific and Engineering Computation). MIT (2007)"},{"issue":"8","key":"6_CR8","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, non-determinacy and derivation of programs. Commuications of the ACM\u00a018(8), 453\u2013457 (1975)","journal-title":"Commuications of the ACM"},{"key":"6_CR9","unstructured":"Peyton Jones, S.L. (ed.), Augustsson, L., Boutel, B., Burton, F.W., Fasel, J.H., Gordon, A.D., Hammond, K., Hughes, R.J.M., Hudak, P., Johnsson, T., Jones, M.P., Peterson, J.C., Reid, A., Wadler, P.L.: Report on the Non-Strict Functional Language, Haskell (Haskell98). Technical report, Yale University (1999)"},{"key":"6_CR10","unstructured":"Grov, G., Michaelson, G.: Towards a Box Calculus for Hierarchical Hume. In: Morazan, M. (ed.) Trends in Functional Programming, vol.\u00a08, pp. 71\u201388. Intellect (2008)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Grov, G., Michaelson, G.: Hume box calculus: robust system development through software transformation. In: Higher Order Symbolic Computing (July 2011), doi:10.1007\/s10990-011-9067-y","DOI":"10.1007\/s10990-011-9067-y"},{"key":"6_CR12","unstructured":"Grov, G.: Reasoning about correctness properties of a coordination language. PhD thesis, Heriot-Watt University (2009)"},{"key":"6_CR13","unstructured":"Halmos, P.R.: Naive Set theory. Van Nostrand (1960)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-39815-8_3","volume-title":"Generative Programming and Component Engineering","author":"K. Hammond","year":"2003","unstructured":"Hammond, K., Michaelson, G.: Hume: A Domain-Specific Language for Real-Time Embedded Systems. In: Pfenning, F., Macko, M. (eds.) GPCE 2003. LNCS, vol.\u00a02830, pp. 37\u201356. Springer, Heidelberg (2003)"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM\u00a012, 576\u2013583 (1969)","journal-title":"Communications of the ACM"},{"issue":"8","key":"6_CR16","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Communications of the ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Communications of the ACM"},{"key":"6_CR17","unstructured":"Hodges, W.: Logic. Pelican (1977)"},{"key":"6_CR18","unstructured":"Inmos: Occam Reference Manual. Prentice-Hall (1988)"},{"key":"6_CR19","unstructured":"Kneebone, G.: Mathematical Logic and the Foundations of Mathematics. Van Nostrand (1963)"},{"key":"6_CR20","unstructured":"McCarthy, J.: A basis for a mathematical theory of computation. Technical Report Memo 31. MIT (1962)"},{"issue":"3-4","key":"6_CR21","first-page":"165","volume":"8","author":"MPI-Forum","year":"1994","unstructured":"MPI-Forum: MPI: A message passing intrface standard. International Journal of Supercomputer Application\u00a08(3-4), 165\u2013414 (1994)","journal-title":"International Journal of Supercomputer Application"},{"key":"6_CR22","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer (1982)"},{"key":"6_CR23","unstructured":"Milner, R.: Communicating and mobile systems - the Pi-calculus. Cambridge University Press (1999)"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Milner, R., Tofte, M., Harper, R., MacQueen, D.: The Definition of Standard ML (Revised). MIT Press (1997)","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"6_CR25","unstructured":"Nidditch, P.H.: Propositional Calculus. Routledge and Kegan Paul (1962)"},{"key":"6_CR26","unstructured":"Peter, R.: Recursive Functions. Academic Press (1967)"},{"key":"6_CR27","unstructured":"Quine, W.V.: Word and Object. MIT (1964)"},{"key":"6_CR28","unstructured":"Wegner, P.: Programming Languages, Information Structures, and Machine Organization. McGraw-Hill (1968)"}],"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-32096-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T20:55:43Z","timestamp":1556916943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32096-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642320958","9783642320965"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32096-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}