{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:51Z","timestamp":1725663471926},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568919"},{"type":"electronic","value":"9783540477792"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56891-3_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:48:40Z","timestamp":1330238920000},"page":"209-227","source":"Crossref","is-referenced-by-count":4,"title":["A Kahn principle for networks of nonmonotonic real-time processes"],"prefix":"10.1007","author":[{"given":"Robert Kim","family":"Yates","sequence":"first","affiliation":[]},{"given":"Guang Rong","family":"Gao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur and D. Dill. The theory of timed automata. In J.W. deBakker, C. Huizing, W.P deRoever, and G. Rozenberg, editors, Real-Time: Theory in Practice, pages 45\u201373. Springer-Verlag, LNCS 600, 1991. Proceedings of the REX Workshop.","DOI":"10.1007\/BFb0031987"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0304-3975(82)90021-4","volume":"18","author":"F. Boussinot","year":"1982","unstructured":"F. Boussinot. Proposition de s\u00e9mantique d\u00e9notationelle pour des r\u00e9seaux de processus avec operateur de m\u00e9lange \u00e9quitable. Theoretical Computer Science, 18:173\u2013206, 1982.","journal-title":"Theoretical Computer Science"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"J. D. Brock and W. B. Ackerman. Scenarios: A model of non-determinate computation. In J. Diaz and I. Ramos, editors, International Colloquium on Formalization of Programming Concepts, pages 252\u2013259. Springer-Verlag, LNCS-107, 1981.","DOI":"10.1007\/3-540-10699-5_102"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"E. Harel, O. Lichtenstein, and A. Pnueli. Explicit clock temporal logic. In Proc. of the Fifth Annual IEEE Symposium on Logic in Computer Science, pages 402\u2013413, 1990.","DOI":"10.1109\/LICS.1990.113765"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, Z. Manna, and A. Pnueli. Timed transition systems. In J.W. deBakker, C. Huizing, W.P deRoever, and G. Rozenberg, editors, Real-Time: Theory in Practice, pages 226\u2013251. Springer-Verlag, LNCS 600, 1991. Proceedings of the REX Workshop.","DOI":"10.1007\/BFb0031995"},{"key":"17_CR6","first-page":"471","volume":"74","author":"G. Kahn","year":"1974","unstructured":"G. Kahn. The semantics of a simple language for parallel processing. In Information Processing 74, pages 471\u2013475, 1974.","journal-title":"Information Processing"},{"key":"17_CR7","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/0304-3975(91)90082-D","volume":"91","author":"P. Kearney","year":"1991","unstructured":"P. Kearney and J. Staples. An extensional fixed-point semantics for nondeterministic data flow. Theoretical Computer Science, 91:129\u2013179, 1991.","journal-title":"Theoretical Computer Science"},{"key":"17_CR8","first-page":"337","volume-title":"Formal Descriptions of Programming Concepts","author":"R. M. Keller","year":"1978","unstructured":"R. M. Keller. Denotational models for parallel programs with indeterminate operators. In E. J. Neuhold, editor, Formal Descriptions of Programming Concepts, pages 337\u2013365, Amsterdam, 1978. North-Holland."},{"issue":"4","key":"17_CR9","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"R. Koymans. Specifying real-time properties with metric temporal logic. Real Time Systems, 2(4):255\u2013291, 1990.","journal-title":"Real Time Systems"},{"issue":"1","key":"17_CR10","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0890-5401(89)90066-7","volume":"82","author":"N. A. Lynch","year":"1989","unstructured":"N. A. Lynch and E. W. Stark. A proof of the Kahn principle for input\/output automata. Information and Computation, 82(1):81\u201392, 1989.","journal-title":"Information and Computation"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"M. Merritt, F. Modugno, and M.R. Tuttle. Time-constrained automata. In J.C.M. Baeten and J.F. Groote, editors, Proceedings of Concur '91, pages 408\u2013423. Springer-Verlag, LNCS 527, 1991.","DOI":"10.1007\/3-540-54430-5_103"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"F. Moller and C. Tofts. A temporal calculus of communicating systems. In J.C.M. Baeten and J.W. Klop, editors, Proceedings of Concur '90, pages 401\u2013415. Springer-Verlag, LNCS 458, 1990.","DOI":"10.1007\/BFb0039073"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"P. Panangaden. Abstract interpretation and indeterminacy. In S. D. Brookes, A. W. Roscoe, and G. Winskel, editors, Proc. of the Seminar on Concurrency, pages 497\u2013511. Springer-Verlag, LNCS-197, 1985.","DOI":"10.1007\/3-540-15670-4_24"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"P. Panangaden and E. W. Stark. Computations, residuals and the power of indeterminacy. In T. Lepisto and A. Salomaa, editors, Proc. of the Fifteenth International Colloquium on Automata Languages and Programming, pages 348\u2013363. Springer-Verlag, LNCS-317, 1988.","DOI":"10.1007\/3-540-19488-6_133"},{"key":"17_CR15","unstructured":"D. Park. The fairness problem and nondeterministic computing networks. In J.W. de Bakker and J. van Leeuwen, editors, Foundations of Computer Science IV, Part 2, pages 133\u2013161. Mathematical Centre, Tract #159, 1983."},{"key":"17_CR16","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"G. M. Reed","year":"1988","unstructured":"G.M. Reed and A.W. Roscoe. A timed model for communicating sequential processes. Theoretical Computer Science, 58:249\u2013261, 1988.","journal-title":"Theoretical Computer Science"},{"key":"17_CR17","unstructured":"R.K. Yates. Semantics of timed dataflow networks. PhD thesis, McGill University, 1992."},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"R.K. Yates. Networks of real-time processes. Submitted for publication, 1993.","DOI":"10.1007\/3-540-57208-2_27"}],"container-title":["Lecture Notes in Computer Science","PARLE '93 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56891-3_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:06:44Z","timestamp":1605629204000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56891-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568919","9783540477792"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-56891-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}