{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:40Z","timestamp":1725663520103},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540550921"},{"type":"electronic","value":"9783540466925"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55092-5_20","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:27:47Z","timestamp":1330194467000},"page":"363-374","source":"Crossref","is-referenced-by-count":3,"title":["RLucid, a general real-time dataflow language"],"prefix":"10.1007","author":[{"given":"John A.","family":"Plaice","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"20_CR1","unstructured":"P. Barth, S. Guthery, and D. Barstow. The Stream Machine: A data flow architecture for real-time applications. In Proc. 8th International Conference on Software Engineering, London, U.K., 1985. IEEE. Also available as SYS-85-12 from Schlumberger-Doll Research, Ridgefield, CO."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"J.-L. Bergerand, P. Caspi, N. Halbwachs, and J. A. Plaice. Automatic control systems programming using a real-time declarative language. In Proc. 4th IFAC\/IFIP Symposium (SOCOCO '86), Graz, Austria, 1986.","DOI":"10.1016\/S1474-6670(17)59729-3"},{"key":"20_CR3","unstructured":"G. Berry and G. Gonthier. The ESTEREL synchronous programming language: design, semantics, implementation. Science of Computer Programming, 1988. To appear."},{"key":"20_CR4","unstructured":"G. Berry, S. Moisan, and J.-P. Rigault. ESTEREL: Towards a synchronous and semantically sound high level language for real time applications. In IEEE Real-Time Systems Symposium, pages 30\u201337, 1983."},{"key":"20_CR5","first-page":"153","volume-title":"Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, volume 430 of Lecture Notes in Computer Science","author":"M. Broy","year":"1989","unstructured":"M. Broy. Functional specification of time sensitive communicating systems. In Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, volume 430 of Lecture Notes in Computer Science, pages 153\u2013179, Mook, the Netherlands, 1989. Springer-Verlag."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"P. Caspi, N. Halbwachs, D. Pilaud, and J. A. Plaice. LUSTRE: a declarative language for programming synchronous systems. In Proc. 14th Annual ACM Symposium on Principles of Programming Languages, pages 178\u2013188, Munich, Germany, 1987.","DOI":"10.1145\/41625.41641"},{"key":"20_CR7","unstructured":"A. Faustini and E. Lewis. Toward a real-time dataflow language. In J. Stankovic and K. Ramamrithan, editors, Hard Real Time Systems, pages 139\u2013145. IEEE, 1989."},{"key":"20_CR8","unstructured":"N. Halbwachs, A. Longchampt, and D. Pilaud. Describing and designing circuits by means of a synchronous declarative language. In Proc. IFIP Working Conference from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, France, 1986."},{"key":"20_CR9","unstructured":"N. Halbwachs and D. Pilaud. Use of a real-time declarative language for systolic array design and simulation. In Proc. International Workshop on Systolic Arrays, Oxford, U.K., 1986."},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"D. Harel and A. Pnueli. On the development of reactive systems: logic and models of concurrent systems. In Proc. NATO Advanced Study Institute on Logics and Models for Verification and SPecification of Concurrent Systems, pages 477\u2013498. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-82453-1_17"},{"issue":"3","key":"20_CR11","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1145\/365230.365257","volume":"9","author":"P. J. Landin","year":"1966","unstructured":"P. J. Landin. The next 700 programming languages. Communications of the ACM, 9(3):157\u2013166, 1966.","journal-title":"Communications of the ACM"},{"issue":"2","key":"20_CR12","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1109\/TASSP.1986.1164809","volume":"34","author":"P. LeGuernic","year":"1986","unstructured":"P. LeGuernic, A. Benveniste, P. Bournai, and T. Gautier. Signal: A data flow oriented language for signal processing. IEEE-ASSP, 34(2):362\u2013374, 1986.","journal-title":"IEEE-ASSP"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"P. LeGuernic, T. Gautier, M. LeBorgne, and C. LeMaire. Programming real time applications with Signal. Proceedings of the IEEE, Special Issue on Synchronous Programming. To appear, 1991.","DOI":"10.1109\/5.97301"},{"key":"20_CR14","series-title":"Technical Report TR-91-09","volume-title":"Nested clocks: The LUSTRE synchronous dataflow language","author":"J. Plaice","year":"1991","unstructured":"J. Plaice. Nested clocks: The LUSTRE synchronous dataflow language. Technical Report TR-91-09, University of Ottawa Computer Science Dept, Ottawa, Canada, 1991. Submitted to Science of Computer Programming."},{"key":"20_CR15","unstructured":"J. A. Plaice. S\u00e9mantique et compilation de LUSTRE, un langage d\u00e9claratif synchrone. PhD thesis, Institut National Polytechnique de Grenoble, Grenoble, France, 1988."},{"key":"20_CR16","unstructured":"A. Pnueli. Specification and development of reactive systems. In Proc. IFIP Congress 86, pages 845\u2013858. Elsevier North-Holland, 1986."},{"key":"20_CR17","unstructured":"P. Raymond. Compilation efficace d'un langage d\u00e9claratif synchrone: Le g\u00e9n\u00e9rateur de code Lustre-v3. PhD thesis, Institut National Polytechnique de Grenoble, defence expected in November 1991."},{"key":"20_CR18","unstructured":"F. Rocheteau and N. Halbwachs. Pollux, a Lustre based hardware design environment. In P. Quinton and Y. Robert, editors, Conference on Algorithms and Parallel VLSI Architectures II, Chateau de Bonas, June 1991."},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"M. Sheeran. muFP, a language for VLSI design. In Proc. ACM Symposium on Lisp and Functional Programming, pages 104\u2013112, Austin, Texas, 1984.","DOI":"10.1145\/800055.802026"},{"issue":"2","key":"20_CR20","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1109\/32.21748","volume":"15","author":"D. Skillicorn","year":"1989","unstructured":"D. Skillicorn and J. Glasgow. Real Time specification using Lucid. IEEE Transactions on Software Engineering, 15(2):221\u2013229, 1989.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"20_CR21","volume-title":"Master's thesis","author":"N. S. Vempati","year":"1990","unstructured":"N. S. Vempati. Programming reactive systems using dataflow. Master's thesis, University of Victoria, Victoria, B.C., Canada, 1990."},{"key":"20_CR22","unstructured":"W. W. Wadge and E. A. Ashcroft. Lucid, the Dataflow Programming Language. Academic Press, 1985."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55092-5_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:57:26Z","timestamp":1605628646000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55092-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540550921","9783540466925"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-55092-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}