{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:44Z","timestamp":1742617124689,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544159"},{"type":"electronic","value":"9783540476177"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54415-1_46","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:47:11Z","timestamp":1330210031000},"page":"176-203","source":"Crossref","is-referenced-by-count":4,"title":["On nets, algebras and modularity"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Rabinovich","sequence":"first","affiliation":[]},{"given":"Boris A.","family":"Trakhtenbrot","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"9_CR1","unstructured":"S. Abramsky. e-mail correspondence."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"S. Abramsky. A generalized Kahn principle for abstract asynchronous networks. In M. Main, A. Melton, M. Mislove, and D. Scmidt, editors, Mathematical Foundations of Programming Languages Semantics, volume 442 of Lect. Notes in Computer Science. Springer Verlag, 1990.","DOI":"10.1007\/BFb0040252"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"J. D. Brock and W. B. Ackerman. Scenarios: A model of non-determinate computation. In Formalization of Programming Concepts, volume 107 of Lect. Notes in Computer Science, pages 252\u2013259. Springer Verlag, 1981.","DOI":"10.1007\/3-540-10699-5_102"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"M. Broy. Semantics of finite and infinite networks of concurrent communicating agents. Distributed Computing, 2, 1987.","DOI":"10.1007\/BF01786252"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"J. Hirshfeld, A. Rabinovich, and B. A. Trakhtenbrot. Discerning causality in interleaving behavior. In A. R. Meyer and M. A. Taitsin, editors, Proceedings of Logic at Botik 89, volume 363 of Lect. Notes in Computer Science. Springer Verlag, 1989.","DOI":"10.1007\/3-540-51237-3_13"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"B. Jonsson. A fully abstract trace model for dataflow networks. In Proceedings of the 16-th ACM Symposium on Principles of Programming Languages, 1989.","DOI":"10.1145\/75277.75291"},{"key":"9_CR7","unstructured":"G. Kahn. The semantics of a simple language for parallel programming. In J. L. Rosenfeld, editor, Information Processing 74. North Holland Publ. Co., 1974."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz. Semantics of concurrent systems: A modular fixed point trace approach. In Advanced in Petri Nets, volume 188 of Lect. Notes in Computer Science. Springer Verlag, 1984.","DOI":"10.1007\/3-540-15204-0_20"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz. Concurrency, modularity and synchronization. In Mathematical Foundation of Computer Science, volume 379 of Lect. Notes in Computer Science. Springer Verlag, 1989.","DOI":"10.1007\/3-540-51486-4_103"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz, A. Rabinovich, and B. A. Trakhtenbrot. Connectedness and synchronization. In D. Bjorner and V. Kotov, editors, Images of Programming (dedicated to the memory of A. Ershov). North Holland Publ. Co., 1991.","DOI":"10.1016\/0304-3975(91)90305-L"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"J. Misra. Equational reasoning about nondeterministic processes. In Proceedings of 8th ACM Symposium on Principles of Distributed Computing, 1989.","DOI":"10.1145\/72981.72983"},{"key":"9_CR12","unstructured":"D. Park. The fairness problem and nondeterministic computing networks. In J. W. de Bakker and J. van Leeuwen, editors, Proceedings, 4th Advanced Cource on Theoretical Computer Science. Mathematisch Centrum, 1982."},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"V. R. Pratt. On composition of processes. In Proceedings of the Ninth Annual ACM Symposium on Principle of Programming Languages, 1982.","DOI":"10.1145\/582153.582177"},{"key":"9_CR14","unstructured":"A. Rabinovich. in preparation."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"A. Rabinovich and B. A. Trakhtenbrot. Nets of processes and data flow. In Proceedings of Rex Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, volume 354 of Lect. Notes in Computer Science. Springer Verlag, 1988.","DOI":"10.1007\/BFb0013036"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"A. Rabinovich and B. A. Trakhtenbrot. Nets and data flow interpreters. In the Proceedings of the Fourth Symposium on Logic in Computer Science, 1989.","DOI":"10.1109\/LICS.1989.39171"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"A. Rabinovich and B. A. Trakhtenbrot. Communication among relations. In International Conference on Automata, Languages and Programming, volume 443 of Lect. Notes in Computer Science. Springer Verlag, 1990.","DOI":"10.1007\/BFb0032040"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"E. W. Stark. A simple generalization of Kahn's principle to indeterminate dataflow networks. In M. Z. Kwiatkowska, M. W. Shields, and R. M. Thomas, editors, Semantics for concurrency, Workshops in Computing. Springer Verlag, 1990.","DOI":"10.1007\/978-1-4471-3860-0_10"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computer Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54415-1_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:17:56Z","timestamp":1742591876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54415-1_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544159","9783540476177"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-54415-1_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}