{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:24Z","timestamp":1725663444054},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541523"},{"type":"electronic","value":"9783540474722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54152-7_70","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:32:49Z","timestamp":1330209169000},"page":"277-294","source":"Crossref","is-referenced-by-count":0,"title":["A formal specification of the process trellis"],"prefix":"10.1007","author":[{"given":"Michael","family":"Factor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"ACTORS: A model of Concurrent Computation in Distributed Systems","author":"G. A. Agha","year":"1986","unstructured":"G. A. Agha. ACTORS: A model of Concurrent Computation in Distributed Systems. The MIT Press, Cambridge, MA, 1986."},{"key":"16_CR2","doi-asserted-by":"crossref","first-page":"851","DOI":"10.1002\/spe.4380101102","volume":"10","author":"J. G. P. Barnes","year":"1980","unstructured":"J. G. P. Barnes. An overview of Ada. Software Practice and Experience, 10:851\u2013887, 1980.","journal-title":"Software Practice and Experience"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"J. K. Bennet. The design and implementation of distributed Smalltalk. In Proceedings 1987 ACM Conference on Object Oriented Programming, pages 318\u2013330, Dec. 1987.","DOI":"10.1145\/38765.38836"},{"issue":"1","key":"16_CR4","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1109\/TSE.1987.232836","volume":"SE-13","author":"A. Black","year":"1987","unstructured":"A. Black, N. Hutchinson, E. Jul, H. Levy, and L. Carter. Distribution and abstract types in Emerald. IEEE Transactions on Software Engineering, SE-13(1):65\u201376, Jan. 1987.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice. LUSTRE: A declarative language for programming synchronous systems. In 14th Annual ACM Symposium on Principles of Programming Languages (POPL), pages 178\u2013188. ACM Sigplan, Jan. 1987. Munich, West Germany.","DOI":"10.1145\/41625.41641"},{"key":"16_CR6","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1055\/s-0038-1634774","volume":"29","author":"A. I. Cohn","year":"1990","unstructured":"A. I. Cohn, S. Rosenbaum, M. Factor, and P. L. Miller. DYNASCENE: An approach to computer-based intelligent cardiovascular monitoring using sequential clinical 'scenes'. Methods of Information in Medicine, 29:122\u2013131, Apr. 1990. Revised version of paper in SCAMC-89.","journal-title":"Methods of Information in Medicine"},{"key":"16_CR7","unstructured":"Department of Defense, Washington, DC. Military Standard Ada Programming Language, MIL-STD-1815 edition, Apr. 1982."},{"key":"16_CR8","volume-title":"The Process Trellis Software Architecture for Parallel, Real-Time Monitors","author":"M. Factor","year":"1990","unstructured":"M. Factor. The Process Trellis Software Architecture for Parallel, Real-Time Monitors. PhD thesis, Yale University, Department of Computer Science, Dec. 1990. New Haven, CT."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"M. Factor. The process trellis software architecture for real-time monitors. In Second ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPoPP), pages 147\u2013155. ACM, SIGPLAN, Mar. 1990. Seattle, WA. (SIGPLAN Notices, 25(3)).","DOI":"10.1145\/99163.99180"},{"key":"16_CR10","unstructured":"M. Factor, D. H. Gelernter, C. Kolb, P. L. Miller, and D. F. Sittig. Real-time performance, parallelism and program visualization in medical monitoring. Research Report YALEU\/DCS\/RR-808, Yale University, Department of Computer Science, June 1990."},{"key":"16_CR11","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BF01724205","volume":"7","author":"M. Factor","year":"1990","unstructured":"M. Factor, D. F. Sittig, A. I. Cohn, D. H. Gelernter, P. L. Miller, and S. Rosenbaum. A parallel software architecture for building intelligent medical monitors. International Journal of Clinical Monitoring and Computing, 7:117\u2013128, 1990. Revised version of paper in SCAMC-89.","journal-title":"International Journal of Clinical Monitoring and Computing"},{"issue":"3","key":"16_CR12","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","volume":"8","author":"C. Hewitt","year":"1977","unstructured":"C. Hewitt. Viewing control structures as patterns of passing messages. Artificial Intelligence, 8(3):323\u2013364, June 1977.","journal-title":"Artificial Intelligence"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Luqi and V. Berzins. Rapidly prototyping real-time systems. IEEE Software, pages 25\u201336, Sept. 1988.","DOI":"10.1109\/52.7941"},{"issue":"10","key":"16_CR14","doi-asserted-by":"crossref","first-page":"1409","DOI":"10.1109\/32.6186","volume":"14","author":"Luqi","year":"1988","unstructured":"Luqi, V. Berzins, and R. T. Yeh. A prototyping language for real-time software. IEEE Transactions on Software Engineering, 14(10):1409\u20131423, Oct. 1988.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0169-2607(90)90026-6","volume":"31","author":"D. F. Sittig","year":"1990","unstructured":"D. F. Sittig and M. Factor. Physiologic trend detection and artifact rejection: A parallel implementation of a multi-state Kalman filtering algorithm. Computer Methods in Programs in Biomedicine, 31:1\u201310, 1990. Revised version of paper in SCAMC-89.","journal-title":"Computer Methods in Programs in Biomedicine"},{"issue":"10","key":"16_CR16","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/2.7053","volume":"21","author":"J. Stankovic","year":"1988","unstructured":"J. Stankovic. Misconceptions about real-time computing: A serious problem for next-generation systems. IEEE Computer, 21(10):10\u201319, Oct. 1988.","journal-title":"IEEE Computer"}],"container-title":["Lecture Notes in Computer Science","PARLE '91 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54152-7_70.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:20:04Z","timestamp":1619572804000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54152-7_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541523","9783540474722"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-54152-7_70","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}