{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T03:17:58Z","timestamp":1725765478037},"publisher-location":"London","reference-count":18,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197355"},{"type":"electronic","value":"9781447137948"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3794-8_6","type":"book-chapter","created":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T06:23:28Z","timestamp":1387434208000},"page":"83-100","source":"Crossref","is-referenced-by-count":0,"title":["Temporal Constraint Functional Programming: A Declarative Framework for Concurrency and Interaction"],"prefix":"10.1007","author":[{"given":"T. C. Nicholas","family":"Graham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"6_CR1","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1093\/comjnl\/31.3.243","volume":"31","author":"F Warren","year":"1988","unstructured":"F. Warren Burton. Non-determinism with referential transparency in functional programming languages. The Computer Journal, 31 (3): 243\u2013247, 1988.","journal-title":"The Computer Journal"},{"key":"6_CR2","first-page":"2","volume":"2","author":"R Dietrich","year":"1991","unstructured":"Roland Dietrich, Birgit Heinz, and Hendrik C.R. Lock. Guarded functional programming and lazy streams. ESPRIT Basic Research Action 3147, the Phoenix project, Deliverable B. 2. 2 (ii), 1991.","journal-title":"Deliverable B"},{"key":"6_CR3","volume-title":"Tapsoft","author":"R Dietrich","year":"1991","unstructured":"Roland Dietrich and Hendrik C.R. Lock. Exploiting Non-Determinism through Laziness in Guarded Functional Languages. In TAPSOFT, 1991."},{"key":"6_CR4","volume-title":"Temporal Logic in Specification, volume LNCS 398, pages 409-448. Springer Verlag","author":"D Gabbay","year":"1987","unstructured":"Dov Gabbay. The declarative past and imperative future. In Temporal Logic in Specification, volume LNCS 398, pages 409\u2013448. Springer Verlag, 1987."},{"key":"6_CR5","volume-title":"A kernel scheme for functional I\/O","author":"G Andrew","year":"1989","unstructured":"Andrew Gordon. PFL-i-: A kernel scheme for functional I\/O. Technical report, University of Cambridge Computer Laboratory, March 1989."},{"key":"6_CR6","first-page":"1","volume":"6","author":"TC Nicholas","year":"1991","unstructured":"T.C. Nicholas Graham. Temporal constraint functional programming: A semantic framework. ESPRIT Basic Research Action 3147, the Phoenix project, Deliverable B6. 1, 1991.","journal-title":"Deliverable"},{"key":"6_CR7","volume-title":"Communicating Sequential Processes","author":"CA Hoare","year":"1985","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, London, 1985."},{"key":"6_CR8","volume-title":"Report on the functional programming language Haskell","author":"P Hudak","year":"1988","unstructured":"Paul Hudak, Philip Wadler, Arvind, Brian Boutel, Jon Fairburn, Joe Fasel, John Hughes, Thomas Johnsson, Dick Kieburtz, Simon Peyton Jones, Rishiyur Nikhil, Mike Reeve, David Wise, and Jonathon Young. Report on the functional programming language Haskell. Technical report, Yale University, December 1988."},{"key":"6_CR9","volume-title":"Nebula \u2014 a functional operating system","author":"K Karlsson","year":"1981","unstructured":"Kent Karlsson. Nebula \u2014 a functional operating system. Technical report, Chalmers University, 1981."},{"key":"6_CR10","volume-title":"Technical Report","author":"CR Hendrik","year":"1989","unstructured":"Hendrik C.R. Lock. An amalgamation of functional and logic programming languages. Technical Report 408, GMD, September 1989."},{"key":"6_CR11","volume-title":"Proceedings of the Second IEEE Workshop of Future Trends of Distributed Computing Systems","author":"HC Lock","year":"1990","unstructured":"Hendrik C.R. Lock and Stefan J\u00e2nichen. Linda meets functional programming. In Proceedings of the Second IEEE Workshop of Future Trends of Distributed Computing Systems, 1990."},{"key":"6_CR12","volume-title":"And D. Walker. A calculus of mobile processes. Technical Report ECS-LFCS-89-85","author":"R Milner","year":"1989","unstructured":"R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Technical Report ECS-LFCS-89\u201385, Laboratory for Foundations of Computer Science, University of Edinburgh, 1989."},{"issue":"2","key":"6_CR13","first-page":"1","volume":"2","author":"R Milner","year":"1985","unstructured":"Robin Milner. The Standard ML Core Language. Polymorphism, 2 (2): 1\u201328, October 1985.","journal-title":"Polymorphism"},{"key":"6_CR14","volume-title":"Communication and Concurrency","author":"R Milner","year":"1986","unstructured":"Robin Milner. Communication and Concurrency. Prentice-Hall, Hemel Hempstead, 1986."},{"key":"6_CR15","volume-title":"University of London","author":"R Paterson","year":"1991","unstructured":"Ross Paterson. Non-deterministic a-calculus: a core for integrated languages. Technical Report IC\/FPG\/Phoenix\/7, Imperial College, University of London, January 1991."},{"key":"6_CR16","volume-title":"Proceedings of the Ninth International Conference of the Chilean Computer Science Society and Fifteenth Latin American Conference on Informatics","author":"N Perry","year":"1989","unstructured":"Nigel Perry. I\/O and inter-language calling for functional languages. In Proceedings of the Ninth International Conference of the Chilean Computer Science Society and Fifteenth Latin American Conference on Informatics, July 1989."},{"issue":"2","key":"6_CR17","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/22949.24053","volume":"5","author":"RW Scheifler","year":"1986","unstructured":"Robert W. Scheifler and Jim Gettys. The X window system. ACM Transactions on Graphics, 5 (2): 79\u2013109, 1986.","journal-title":"Acm Transactions on Graphics"},{"key":"6_CR18","volume-title":"Iowa","author":"A David","year":"1986","unstructured":"David A. Schmidt. Denotational Semantics: A Methodology for Language Development. Wm. C. Brown Publishers, Dubuque, Iowa, 1986."}],"container-title":["Workshops in Computing","Declarative Programming, Sasbachwalden 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3794-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T13:33:36Z","timestamp":1558791216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3794-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197355","9781447137948"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3794-8_6","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}