{"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":1725456117627},"publisher-location":"Berlin\/Heidelberg","reference-count":20,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354011212X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0025793","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:23:41Z","timestamp":1132395821000},"page":"397-405","source":"Crossref","is-referenced-by-count":0,"title":["Critical remarks on max model of concurrency"],"prefix":"10.1007","author":[{"given":"A.","family":"Salwicki","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"ADA. report on the programming language. DoD Washington, July 1980"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Arjomandi E. Fischer M., Lynch N., A difference in Efficiency between Synchronous and Asynchronous Systems. 13-th ACM STOC Symp. Milwaukee, 1981","DOI":"10.21236\/ADA097476"},{"key":"24_CR3","unstructured":"Bartol W.M. et al. LOGLAN'79 report on the programming language T.M\u00fcldner ed. to appear in Lecture Notes on Computer Science"},{"key":"24_CR4","unstructured":"Burkhard H.D., On priorities of parallelism: Petri nets under the Maximum Firing Strategy, to appear in proceedings of Symp on Algorithmic logic and LOGLAN. Pozna\u0144 1980"},{"key":"24_CR5","unstructured":"Cousot. P., personal communication"},{"key":"24_CR6","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0304-3975(81)90109-2","volume":"13","author":"M. Fischer","year":"1981","unstructured":"Fischer M., Lynch N., On describing the behaviour and implementation of distributed systems. Theoretical Computer Science 13 1981 17\u201343","journal-title":"Theoretical Computer Science"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Hoare C.A.R., Communicating systems programming CACM 21 1978 no 8","DOI":"10.1145\/359576.359585"},{"key":"24_CR8","unstructured":"Kozen D., personal communication"},{"key":"24_CR9","series-title":"Semantics Conc. Computations Lecture Notes in Computer Sci.","volume-title":"On the absence of livelocks in parallel programs in Proc Symp","author":"Y.S. Kwong","year":"1979","unstructured":"Kwong Y.S., On the absence of livelocks in parallel programs in Proc Symp. Semantics Conc. Computations Lecture Notes in Computer Sci. vol. 70 Springer. Berlin, 1979"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Lamport L., \"Sometimes\" is sometimes \"Not Never\", in Proc 7th ACM POPL Symp.. Las Vegas. 1980","DOI":"10.1145\/567446.567463"},{"key":"24_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A calculus of communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner R., A calculus of communicating Systems, Lecture Notes in Computer Science, Springer, Berlin, 1980"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"MirkowskaG., Complete Axiomatization of Algorithmic Properties of Program Schemes with Bounded Nondezetministic Interpretations 12th ACM STOC Symp., Los Angeles, 1980","DOI":"10.1145\/800141.804648"},{"key":"24_CR13","doi-asserted-by":"crossref","first-page":"157","DOI":"10.3233\/FI-1980-3205","volume":"3","author":"g. Mirkowska","year":"1980","unstructured":"Mirkowska g., Model existence theorem in algorithmic logic with nondeterministic programs. Fundamenta Informaticae 3 1980 157\u2013170","journal-title":"Fundamenta Informaticae"},{"key":"24_CR14","unstructured":"M\u00fcldner T., On semantics of parallel programs, ICS PAS Reports 323 Warasw. 1979 to appear in Fundamenta Informaticae"},{"key":"24_CR15","series-title":"Lecture Notes on Comp. Science","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1007\/3-540-08442-8_116","volume-title":"On properties of certain synchronizing tool for parallel computations","author":"T. M\u00fcldner","year":"1977","unstructured":"M\u00fcldner T., On properties of certain synchronizing tool for parallel computations. FCT'77 M. Karpi\u0144ski ed. Lecture Notes on Comp. Science vol 56. Springer. Berlin. 1977, 459\u2013465"},{"key":"24_CR16","unstructured":"M\u00fcldner T., Salwicki A., On algorithmic properties of concurrent programs to appear in Proc Sem on ALg Logic Z\u00fcrich 79 E. Engeler ed. Lecture Notes on Computer Science Springer"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Reif J., Spriakis P., Distributed Algorithms for Synchronizing Interprocess Communication Within Real Time. 13th ACM STOC Symp.","DOI":"10.1145\/800076.802467"},{"key":"24_CR18","series-title":"Lecture Notes on Computer Science","first-page":"352","volume-title":"Applied Algorithmic Logic in Proc MFCS'77","author":"A. Salwicki","year":"1977","unstructured":"Salwicki A., Applied Algorithmic Logic in Proc MFCS'77 ed. J. Gruska Lecture Notes on Computer Science vol 53, Springer. Berlin, 1977 352\u2013363"},{"key":"24_CR19","unstructured":"Salwicki A., On algorithmic logic and its applications, to appear"},{"key":"24_CR20","unstructured":"Stapp L., On synchronization of philosophers, manuscript, Warsaw Technical University, 1981"}],"container-title":["Lecture Notes in Computer Science","Logics of Programs"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0025793.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T02:18:59Z","timestamp":1626747539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0025793"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354011212X"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0025793","relation":{},"subject":[]}}