{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:30Z","timestamp":1725662850728},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540089216"},{"type":"electronic","value":"9783540357575"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08921-7_79","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:37:16Z","timestamp":1330187836000},"page":"315-325","source":"Crossref","is-referenced-by-count":1,"title":["Cycles of partial orders"],"prefix":"10.1007","author":[{"given":"El\u0151d","family":"Knuth","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A.: Concurrent program schemes and their interpretations, Aarhus Workshop on Verification of Parallel Processes, June 1977.","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"28_CR2","unstructured":"Lauer, P.E., Best, E. and Shields, M.W.: On the problem of achieving adequacy of concurrent programs, Proc. of the IFIP Work. Conf. on Formal Desc. of Prog. Concepts, North Holland, August 1977."},{"key":"28_CR3","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF00264564","volume":"5","author":"P. E. Lauer","year":"1975","unstructured":"Lauer, P.E. and Campbell, R.H.: Formal semantics of a class of highlevel primitives for co-ordinating concurrent processes, Acta Informatica, 5, pp. 297\u2013332 \/1975\/.","journal-title":"Acta Informatica"},{"key":"28_CR4","unstructured":"Petri, C.A.: Nichtsequentielle Processe, GMD-ISF, Internal Report 76-6, Bonn 1976."},{"key":"28_CR5","unstructured":"Hack, M.: Petri net languages, MIT Memo 124, June 1975."},{"key":"28_CR6","unstructured":"Crespi Reghizzi, S. and Mandrioli, D.: Petri nets and commutative grammars. Inst. di Elettrotecnica ed Elettronica del Politechnico di Milano, Internal Report 74-5, March 1974."},{"key":"28_CR7","unstructured":"Patil, S.S.: Co-ordination of asynchronous events, MIT MAC TR-72, 1970."},{"key":"28_CR8","unstructured":"Holt, A.W.: Information system theory project, Final Report, TR-68-305, New York, 1968."},{"key":"28_CR9","unstructured":"Furtek, F.: A new approach to Petri Nets, MIT Computation Structures group Memo 123, 1975."},{"key":"28_CR10","volume-title":"On the abstract specification and formal analysis of synchronisation properties of concurrent systems, to appear in the Proc. of the Int. Conf. on Mathematical Studies of Information Processing","author":"M. W. Shields","year":"1978","unstructured":"Shields, M.W. and Lauer, P.E.: On the abstract specification and formal analysis of synchronisation properties of concurrent systems, to appear in the Proc. of the Int. Conf. on Mathematical Studies of Information Processing. RIMS Kyoto, Japan, 1978."},{"key":"28_CR11","unstructured":"Knuth, E.: Petri nets and regular trace languages. University of Newcastle upon Tyne Computing Laboratory ASM\/47, April, 1978."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1978"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08921-7_79.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:56:23Z","timestamp":1619556983000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08921-7_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540089216","9783540357575"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-08921-7_79","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]}}}