{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:25Z","timestamp":1725663445715},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540179450"},{"type":"electronic","value":"9783540471813"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17945-3_16","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:20:24Z","timestamp":1330197624000},"page":"277-296","source":"Crossref","is-referenced-by-count":6,"title":["Parallel programming in Temporal Logic"],"prefix":"10.1007","author":[{"given":"Roger","family":"Hale","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ben","family":"Moszkowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"issue":"3","key":"16_CR1","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1145\/2514.2516","volume":"16","author":"D. Bitton","year":"1984","unstructured":"D. Bitton, D. J. DeWitt, D. K. Hsiao, and J. Menon. A taxonomy of parallel sorting. ACM Computing Surveys, 16(3):287\u2013318, September 1984.","journal-title":"ACM Computing Surveys"},{"issue":"1","key":"16_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K. L. Clark","year":"1986","unstructured":"K. L. Clark and S. Gregory. Parlog: parallel programming in logic. ACM Transactions on Programming Languages and Systems, 8(1):1\u201349, January 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"16_CR3","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1109\/TSE.1982.235573","volume":"8","author":"E. J. H. H. Chang","year":"1982","unstructured":"E. J. H. Chang. Echo algorithms: depth-first parallel operations on general graphs. IEEE Transactions on Software Engineering, 8(4):391\u2013401, July 1982.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR4","volume-title":"Programming in Prolog","author":"W. F. Clocksin","year":"1981","unstructured":"W. F. Clocksin and C. S. Mellish. Programming in Prolog. Springer-Verlag, Berlin, 1981."},{"issue":"4","key":"16_CR5","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1093\/comjnl\/26.4.293","volume":"26","author":"M. C. Er","year":"1983","unstructured":"M. C. Er. A parallel computation approach to topological sorting. Computer Journal, 26(4):293\u2013295, April 1983.","journal-title":"Computer Journal"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"M. Fujita, S. Kono, H. Tanaka, and T. Moto-oka. Tokio: logic programming language based on temporal logic and its compilation to prolog. In Proceedings of the Third International Conference on Logic Programming, London, July 1986.","DOI":"10.1007\/3-540-16492-8_119"},{"key":"16_CR7","series-title":"Technical Report","volume-title":"HOL: A Proof Generating System for Higher Order Logic","author":"M. J. C. C. Gordon","year":"1987","unstructured":"M. J. C. Gordon. HOL: A Proof Generating System for Higher Order Logic. Technical Report 103, Computer Laboratory, University of Cambridge, England, 1987."},{"key":"16_CR8","volume-title":"Temporal Logic and Its Applications","author":"R. W. S. S. Hale","year":"1987","unstructured":"R. W. S. Hale. Temporal logic programming. In A. Galton, editor, Temporal Logic and Its Applications, Academic Press, London, 1987. (In preparation)."},{"key":"16_CR9","volume-title":"Functional Programming: Application and Implementation","author":"P. Henderson","year":"1980","unstructured":"P. Henderson. Functional Programming: Application and Implementation. Prentice-Hall International, London, 1980."},{"key":"16_CR10","volume-title":"Communicating Sequential Processes","author":"C. A. R. R. Hoare","year":"1985","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, London, 1985."},{"key":"16_CR11","unstructured":"B. C. Moszkowski. Reasoning about Digital Circuits. PhD thesis, Department of Computer Science, Stanford University, 1983."},{"key":"16_CR12","volume-title":"Exceuting Temporal Logic Programs","author":"B. C. Moszkowski","year":"1986","unstructured":"B. C. Moszkowski. Exceuting Temporal Logic Programs. Cambridge University Press, Cambridge, England, 1986."},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0304-3975(81)90110-9","volume":"13","author":"A. Pnueli","year":"1981","unstructured":"A. Pnueli. The temporal semantics of concurrent programs. Theoretical Computer Science, 13:45\u201360, 1981.","journal-title":"Theoretical Computer Science"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"E. Y. Shapiro. Sysytems programming in concurrent prolog. In Proceedings of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, USA, January 1984.","DOI":"10.1145\/800017.800520"},{"key":"16_CR15","volume-title":"Proceedings of the IFIP Congress 1983","author":"C. Tang","year":"1983","unstructured":"C. Tang. Toward a unified logic basis for programming languages. In Proceedings of the IFIP Congress 1983, North-Holand, Amsterdam, 1983."}],"container-title":["Lecture Notes in Computer Science","PARLE Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17945-3_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:13:39Z","timestamp":1605644019000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17945-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540179450","9783540471813"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-17945-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}