{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:14Z","timestamp":1725663134855},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100010"},{"type":"electronic","value":"9783540393221"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10001-6_29","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:58:45Z","timestamp":1330189125000},"page":"291-305","source":"Crossref","is-referenced-by-count":3,"title":["Adequacy of path programs"],"prefix":"10.1007","author":[{"given":"E.","family":"Best","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"The Specification of Process Synchronisation by Path Expressions","author":"R. H. Campbell","year":"1974","unstructured":"Campbell, R.H. and Habermann, A.N.: The Specification of Process Synchronisation by Path Expressions. In: Lecture Notes in Computer Science 16, Springer Verlag, Berlin 1974."},{"key":"9_CR2","unstructured":"Commoner, F.: Deadlocks in Petri Nets. CA-7206\/2311, Applied Data Research, Wakefield Massachusetts, June 1972."},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BF00264027","volume":"2","author":"H. J. Genrich","year":"1973","unstructured":"Genrich, H.J. and Lautenbach, K.: Synchronisationsgraphen. Acta informatica 2, 1973, pp. 143\u2013161.","journal-title":"Acta informatica"},{"key":"9_CR4","unstructured":"Genrich, H.J. and Stankiewicz-Wiechno, E.: A Dictionary of Some Basic Notions of Net Theory. In this volume."},{"key":"9_CR5","unstructured":"Genrich, H.J., Lautenbach, K. and Thjagarajan, P.S.: An Overview of Net Theory. In this volume."},{"key":"9_CR6","unstructured":"Hack, M.H.T.: Analysis of Production Schemata by Petri Nets. TR-94, Project MAC, MIT, Boston, February 1972 (corrected June 1974)."},{"key":"9_CR7","unstructured":"Jantzen, M. and Valk, R.: Formal Properties of Place-Transition Nets. In this volume."},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF00264564","volume":"5","author":"P. E. Lauer","year":"1975","unstructured":"Lauer, P.E. and Campbell, R.H.: Formal Semantics for a Class of High-Level Primitives for Coordinating Concurrent Processes. Acta informatica 5, 1975, pp. 247\u2013332.","journal-title":"Acta informatica"},{"key":"9_CR9","unstructured":"Lautenbach, K.: Liveness in Petri Nets. GMD-ISF internal report, Bonn 1975."},{"key":"9_CR10","unstructured":"Lauer, P.E., Best, E. and Shields, M.W.: On the Problem of Achieving Adequacy of Concurrent Programs. In: Formal Description of Programming Concepts (ed. E. Neuhold), North Holland 1978."},{"key":"9_CR11","unstructured":"Lauer, P.E., Shields, M.W. and Best, E.: On the Design and Certification of Asynchronous Systems of Processes. Final Report, part II: Formal Theory of the Basic COSY Notation, ASM\/45, Computing Laboratory, University of Newcastle upon Tyne, 1978 (also to appear as Technical Report)."},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Design and Analysis of Highly Parallel and Distributed Systems","author":"P. E. Lauer","year":"1979","unstructured":"Lauer, P.E., Shields, M.W. and Best, E.: Design and Analysis of Highly Parallel and Distributed Systems. To appear in: Lecture Notes in Computer Science, Springer Verlag, Berlin 1979."},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF00266047","volume":"12","author":"P. E. Lauer","year":"1979","unstructured":"Lauer, P.E., Torrigiani, P.R. and Shields, M.W.: COSY \u2014 a System Specification Language Based on Paths and Processes. Acta informatica 12, 1979, pp. 109\u2013158.","journal-title":"Acta informatica"},{"key":"9_CR14","unstructured":"Memmi, G. and Roucairol, G.: Linear Algebra in Net Theory. In this volume."},{"key":"9_CR15","unstructured":"Roucairol, G. and Valk, R.: Reductions of Nets and Parallel Programs. In this volume."},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the International Symposium on Semantics of Concurrent Computation","author":"M. W. Shields","year":"1970","unstructured":"Shields, M.W.: Adequate Path Expressions. TR\/142, University of Newcastle upon Tyne, 1979; also in: Proceedings of the International Symposium on Semantics of Concurrent Computation, in: Lecture Notes in Computer Science 70, Springer Verlag, Berlin 1970."}],"container-title":["Lecture Notes in Computer Science","Net Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10001-6_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:32:59Z","timestamp":1619555579000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10001-6_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100010","9783540393221"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-10001-6_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}