{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:52Z","timestamp":1725662932821},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108566"},{"type":"electronic","value":"9783540387695"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10856-4_122","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:34:11Z","timestamp":1330191251000},"page":"534-543","source":"Crossref","is-referenced-by-count":3,"title":["A starvation-free solution of the dining philosophers' problem by use of interaction systems"],"prefix":"10.1007","author":[{"given":"Horst","family":"Wedde","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"53_CR1","volume-title":"Programming Languages","author":"E.W. Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: \"Co-operating Sequential Processes\" in: Programming Languages (ed. Genuys); Academic Press New York 1968"},{"key":"53_CR2","volume-title":"Acta Informatica 1","author":"E.W. Dijkstra","year":"1971","unstructured":"Dijkstra, E.W.: \"Hierarchical Ordering of Sequential Processes\" Acta Informatica 1 (1971); Springer Verlag, Berlin-Heidelberg-New York"},{"key":"53_CR3","unstructured":"Dijkstra, E.W.: \"Aspects of Reasoning Effectively about Distributed Systems\" (EWD 625), in: B. Shaw (ed.): Proc.of the Joint IBM \/ University of Newcastle upon Tyne Seminar on Distributed Computing Systems, Sept. 1978; University of Newcastle upon Tyne Computing Laboratory 1978"},{"key":"53_CR4","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: \"Communicating Sequential Processes\" CACM Vol 21 No. 8 (1978)","DOI":"10.1145\/359576.359585"},{"key":"53_CR5","doi-asserted-by":"crossref","unstructured":"Ichbiah, J.D.: \"Rationale for the Design of the ADA Programming Language\" SIGPLAN Notices Vol. 14 No. 6 (1980)","DOI":"10.1145\/956653.956654"},{"key":"53_CR6","doi-asserted-by":"crossref","unstructured":"Kraft, N.; Wedde, H.: \"Inducing Patterns of Behaviour in Distributed System Parts\", in: P.Dembi\u0144ski (ed.): Springer Lecture Notes in Computer Science, Vol.88 (1980), Berlin-Heidelberg-New York","DOI":"10.1007\/BFb0022518"},{"key":"53_CR7","series-title":"Technical Report","volume-title":"Modeling Principles of Formal Communication by Use of Interaction Systems","author":"N. Kraft","year":"1980","unstructured":"Kraft, N.; Wedde, H.: \"Modeling Principles of Formal Communication by Use of Interaction Systems\"; Technical Report GMD-ISF 80.08; GMD Bonn 1980"},{"key":"53_CR8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0304-3975(81)90111-0","volume":"13","author":"A. Maggiolo-Schettini","year":"1981","unstructured":"Maggiolo-Schettini, A.; Wedde, H.; Winkowski, J.: \"Modelling a Solution for a Control Problem in Distributed Systems by Restrictions\", TCS 13 (1981), pp 61\u201383, North Holland Publ.Comp.","journal-title":"TCS"},{"key":"53_CR9","unstructured":"Wedde, H.: \"Lose Kopplung von Systemkomponenten\" Berichte der GMD No. 96, Bonn 1975 (German)"},{"key":"53_CR10","series-title":"Springer Lecture Notes in Computer Science","volume-title":"MFCS'77 Symp. in Tatranska Lomnica","author":"H. Wedde","year":"1977","unstructured":"Wedde, H.; Winkowski, J.: \"Determining Processes by Violations\" MFCS'77 Symp. in Tatranska Lomnica, in: J. Gruska (ed.): Springer Lecture Notes in Computer Science 53 (1977), Springer Verlag Berlin-Heidelberg-New York"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1981"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10856-4_122.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:04:01Z","timestamp":1605643441000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10856-4_122"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108566","9783540387695"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-10856-4_122","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}