{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:57Z","timestamp":1725456117157},"publisher-location":"Berlin\/Heidelberg","reference-count":20,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354010027X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022544","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:49:12Z","timestamp":1132724952000},"page":"698-723","source":"Crossref","is-referenced-by-count":0,"title":["Substitution systems \u2014 A family of system models based on concurrency"],"prefix":"10.1007","author":[{"given":"H. J.","family":"Genrich","sequence":"first","affiliation":[]},{"given":"K.","family":"Lautenbach","sequence":"additional","affiliation":[]},{"given":"P. S.","family":"Thiagarajan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"53_CR1","volume-title":"Mathematical Foundations of Computer Science","author":"H.J. Genrich","year":"1978","unstructured":"Genrich, H.J.; Lautenbach, K.: Facts in Place\/Transition-Nets. In: Mathematical Foundations of Computer Science, Ed. Winkowski, J., Lecture Notes in Computer Science 64, pp. 213\u2013231, Berlin, Heidelberg, New York: Springer, 1978"},{"key":"53_CR2","first-page":"109","volume-title":"Semantics of Concurrent Computation","author":"H.J. Genrich","year":"1979","unstructured":"Genrich, H.J.; Lautenbach, K.: The Analysis of Distributed Systems by means of Predicate\/Transition-Nets. In: Semantics of Concurrent Computation, Ed. Kahn, G., Lecture Notes in Computer Science 70, pp. 109\u2013122, Berlin, Heidelberg, New York: Springer, 1979."},{"key":"53_CR3","volume-title":"Net Theory and Practice","author":"H.J. Genrich","year":"1979","unstructured":"Genrich, H.J.; Lautenbach, K.: Thiagarajan, P.S.: Elements of General Net Theory. In: Net Theory and Practice, Ed. Brauer, W., Lecture Notes in Computer Science, Berlin, Heidelberg, New York: Springer, 1979."},{"key":"53_CR4","volume-title":"Seventh International Symposium on Automata, Languages, and Programming","author":"H.J. Genrich","year":"1980","unstructured":"Genrich, H.J.; Thiagarajan, P.S.: Bipolar Synchronization Systems. In: Seventh International Symposium on Automata, Languages, and Programming, Lecture Notes in Computer Science, Berlin, Heidelberg, New York: Springer, 1980"},{"issue":"8","key":"53_CR5","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. CACM, 21, no.8, pp. 666\u2013677, 1978","journal-title":"CACM"},{"key":"53_CR6","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BFb0022466","volume-title":"Semantics of Concurrent Computation","author":"R. Janicki","year":"1979","unstructured":"Janicki, R.: A Characterization of Concurrency-like Relations. In: Semantics of Concurrent Computation, Ed. Kahn, G., Lecture Notes in Computer Science 70, pp. 109\u2013122, Berlin, Heidelberg, New York: Springer, 1979."},{"issue":"7","key":"53_CR7","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R.M. Keller","year":"1976","unstructured":"Keller, R.M.: Formal Verification of Concurrent Programs. CACM, 19, no.7, pp.371\u2013384, 1976.","journal-title":"CACM"},{"key":"53_CR8","volume-title":"On the Design and Certification of Asynchronous Systems of Processes. Part 1: COSY \u2014 A System Specification Language Based on Paths and Processes, Report ASM 49; Part 2: Formal Theory of the Basic COSY Notation, Report 45","author":"P.E. Lauer","year":"1978","unstructured":"Lauer, P.E.,; Shields, M.W; Best, E.: On the Design and Certification of Asynchronous Systems of Processes. Part 1: COSY \u2014 A System Specification Language Based on Paths and Processes, Report ASM 49; Part 2: Formal Theory of the Basic COSY Notation, Report 45, The University of Newcastle upon Tyne, Newcastle, 1978."},{"key":"53_CR9","first-page":"416","volume-title":"Mathematical Foundations of Computer Science","author":"K Lautenbach","year":"1976","unstructured":"Lautenbach, K; Wedde, H.: Generating Control Mechanisms by Restrictions. In Mathematical Foundations of Computer Science, ed. Mazurkiewicz, A., Lecture Notes in Computer Science 45, pp. 416\u2013422, Berlin, Heidelberg, New York: Springer, 1976"},{"key":"53_CR10","volume-title":"Semantics of Concurrent Computation","author":"A. Maggiolo-Schettini","year":"1979","unstructured":"Maggiolo-Schettini, A.; Wedde, H.; Winkowski, J.: Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. In: Semantics of Concurrent Computation, Ed. Kahn, G., Lecture Notes in Computer Science 70, Berlin, Heidelberg, New York: Springer, 1979."},{"key":"53_CR11","volume-title":"Concurrent Program Schemes and their Interpretation","author":"A. Mazurkiewicz","year":"1977","unstructured":"Mazurkiewicz, A.: Concurrent Program Schemes and their Interpretation. DAIMI PB-78, Aarhus University, Aarhus, 1977."},{"key":"53_CR12","unstructured":"Milner, R.: Algebraic Concurrency. Notes of a Course given at Aarhus University, 1979."},{"key":"53_CR13","unstructured":"Petri, C.A.: Kommunikation mit Automaten. Bonn: Institut f\u00fcr Instrumentelle Mathematik, Schriften des IIM Nr. 2, 1962"},{"key":"53_CR14","unstructured":"Petri, C.A.: Concepts of Net Theory. Mathematical Foundations of Computer Science, Math. Institute of the Slovak Ac. of Sciences, 1973"},{"key":"53_CR15","unstructured":"Petri, C.A.: Interpretations of Net Theory. St.Augustin: Gesellschaft f\u00fcr Mathematik und Datenverarbeitung Bonn, Interner Bericht ISF-75-07 (1975)"},{"key":"53_CR16","first-page":"1","volume-title":"Semantics of Concurrent Computation","author":"A. Pnueli","year":"1979","unstructured":"Pnueli, A.: The Temporal Semantics of Concurrent Programs. In: Semantics of Concurrent Computation, Ed. Kahn, G., Lecture Notes in Computer Science 70, pp. 1\u201320, Berlin, Heidelberg, New York: Springer, 1979."},{"key":"53_CR17","volume-title":"Zuordnungsgraphen. Diplomarbeit","author":"H. Schiffl","year":"1974","unstructured":"Schiffl, H.: Zuordnungsgraphen. Diplomarbeit, Universit\u00e4t Bonn, Bonn, 1974 (in German)"},{"key":"53_CR18","volume-title":"Mathematical Foundations of Computer Science","author":"J. Sifakis","year":"1980","unstructured":"Sifakis, J.: Deadlocks and Livelocks in Transition Systems. In: Mathematical Foundations of Computer Science, Ed. Dembinski, P., Lecture Notes in Computer Science, Berlin, Heidelberg, New York: Springer, 1980 (this volume)."},{"key":"53_CR19","volume-title":"Assignment Systems \u2014 A Model for Asynchronous Computations","author":"P.S. Thiagarajan","year":"1976","unstructured":"Thiagarajan, P.S.: Genrich, H.J.: Assignment Systems \u2014 A Model for Asynchronous Computations. ISF-Report 76.10, St.Augustin: Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, 1976"},{"key":"53_CR20","volume-title":"Lose Kopplung von Systemkomponenten","author":"H. Wedde","year":"1975","unstructured":"Wedde, H.: Lose Kopplung von Systemkomponenten. Bericht der GMD 96, St.Augustin: Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, 1975"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1980"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022544.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:48:53Z","timestamp":1607550533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022544"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354010027X"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0022544","relation":{},"subject":[]}}