{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T02:26:21Z","timestamp":1768530381884,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540111603","type":"print"},{"value":"9783540386315","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-11160-3_6","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:38:28Z","timestamp":1330173508000},"page":"169-197","source":"Crossref","is-referenced-by-count":24,"title":["On the algorithmic properties of concurrent programs"],"prefix":"10.1007","author":[{"given":"Andrezej","family":"Salwicki","sequence":"first","affiliation":[]},{"given":"Tomasz","family":"M\u00fcldner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"6_CR1","unstructured":"Burkhard,H.D., Ordered Fairing in Petri Nets. Manuscript, January 1980, Humboldt Universit\u00e4t, see also: On Priorities of Parallelism: Petri Nets under the Maximum Firing Strategy, to appear in Lecture Notes in Comp. Sci., Proc. Pozna\u0144 1980, Algorithmic Logic and LOGLAN."},{"key":"6_CR2","unstructured":"Hansen,P.B., Operating System Principles; Prentice Hall 1973."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Harel,D.,Pratt,V., Nondeterminism in Logics of Programs, Proc. 5-th Ann. ACM Symp. on Principles of Programming Lang. 203\u2013213, Tucson, Arizona, Jan. 1978","DOI":"10.1145\/512760.512782"},{"key":"6_CR4","volume-title":"Miscellaneous results on vector addition systems, Proc. FCT 79","author":"J. Grabowski","year":"1979","unstructured":"Grabowski, Jan, Miscellaneous results on vector addition systems, Proc. FCT 79, Akademie Verlag, Berlin 1979"},{"key":"6_CR5","unstructured":"Mirkowska,G., Algorithmic logic with concurrent programs, manuscript, Nov., 1978."},{"key":"6_CR6","unstructured":"\u2014, PAL-propositional algorithmic logic, manuscript"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"\u2014, Algorithmic logic with nondeterministic programs, ICS PAS reports no 343, 1979 Warsaw, see also Fundamenta Informaticae, vol. III Number 1 \/1980\/ pp. 45\u201364.","DOI":"10.3233\/FI-1980-3105"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz,A., Concurrent program schemes and their interpretations, Proc. Arhus Workshop on Verification of Parallel Processes, 1977","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"6_CR9","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/3-540-08921-7_85","volume":"64","author":"M. Moalla","year":"1978","unstructured":"Moalla, M., Pulon, J., Sifakis, J., Synchronized Petri Nets: A model for the Description of Non-Autonomous Systems, in Proc. MFCS '78 Conf. Zakopane, Lecture Notes in Comp.Sci. vol. 64 pp. 374\u2013384, 1978, Berlin.","journal-title":"Proc. MFCS '78 Conf. Zakopane, Lecture Notes in Comp.Sci."},{"key":"6_CR10","unstructured":"M\u00fcldner,T., On the semantics of parallel programs, ICS PAS reports no 348, 1979 Warsaw"},{"key":"6_CR11","unstructured":"\u2014, On the synchronizing tools, ibidem, no 357"},{"key":"6_CR12","unstructured":"\u2014, Implementation and properties of certain tool..., ibidem no 356,Papers [6,10,11,12] will appear in Fund.Informatic."},{"key":"6_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0022460","volume":"70","author":"A. Pnueli","year":"1979","unstructured":"Pnueli, A., The temporal semantics of concurrent programs, in Semantics of concurrent computations, Proc. Evian Conf., Lecture Notes on Comp. Sci. vol. 70, 1\u201320, 1979 Berlin","journal-title":"Proc. Evian Conf., Lecture Notes on Comp. Sci."},{"key":"6_CR14","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1007\/3-540-08921-7_101","volume":"64","author":"R Valk","year":"1978","unstructured":"Valk, R, \u2014 On the computational power of extended Petri nets, in Proc. MFCS 78 Conf. Zakopane, Lecture Notes in Comp.Sci. vol. 64, pp. 526\u2013535, 1978, Berlin","journal-title":"Proc. MFCS 78 Conf. Zakopane, Lecture Notes in Comp.Sci."},{"key":"6_CR15","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1007\/3-540-09526-8_53","volume":"74","author":"J. Winkowski","year":"1979","unstructured":"Winkowski, J., An algebraic approach to concurrence, in Proc MFCS 79 Conf. Olomouc, Lecture Notes in Comp. Sci. vol. 74 pp. 523\u2013532, 1979, Berlin.","journal-title":"Proc MFCS 79 Conf. Olomouc, Lecture Notes in Comp. Sci."}],"container-title":["Lecture Notes in Computer Science","Logic of Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-11160-3_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T20:17:48Z","timestamp":1640895468000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-11160-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540111603","9783540386315"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-11160-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1981]]}}}