{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:24:27Z","timestamp":1725625467235},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540097730"},{"type":"electronic","value":"9783642674853"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/978-3-642-67485-3_11","type":"book-chapter","created":{"date-parts":[[2011,10,26]],"date-time":"2011-10-26T21:50:01Z","timestamp":1319665801000},"page":"199-201","source":"Crossref","is-referenced-by-count":0,"title":["Modelling a Solution for a Control Problem in Distributed Systems by Restrictions"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Maggiolo-Schettini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Horst","family":"Wedde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f3zef","family":"Winkowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/359642.359651","volume":"21","author":"PB Hansen","year":"1978","unstructured":"Brinch Hansen, P.: Distributed Processes: A Concurrent Programming Concept; CACM Vol. 21, 11 (1978)","journal-title":"CACM"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Genrich, H.J. und Lautenbach, K.: Facts in Place\/Transition Nets; Springer Lecture Notes in Computer Science Vol. 64 (1978)","DOI":"10.1007\/3-540-08921-7_69"},{"key":"11_CR3","unstructured":"Lauer, P.E., Best, E. und Shields, M.W.: On the Problem of Achieving Adequacy of Concurrent Programs; in: Formal Description of Programming Concepts; E.J. Neuhold (ed.); North Holland Publ. Comp. (1978)"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Lautenbach, K., Wedde, H.: Generating Control Mechanisms by Restriktions; in: Springer Lecture Notes in Computer Science Vol. 45 (1976)","DOI":"10.1007\/3-540-07854-1_208"},{"key":"11_CR5","series-title":"MAC TR-72, Project MAC","volume-title":"Coordination of Asynchronous Events","author":"SS Patil","year":"1970","unstructured":"Patil, S.S.: Coordination of Asynchronous Events; MAC TR-72, Project MAC; MIT, Boston (1970)"},{"key":"11_CR6","unstructured":"Wedde, H., Winkowski, J.: Determining Processes by Violations; Springer Lecture Notes in Computer Science"},{"key":"11_CR7","unstructured":"Wedde, H.: Fundamentals of a Theory of Infringements; in: Progress in Cybernetics and Systems Research; Hemisphere Publ. Corp., Washington D.C. (in press)"}],"container-title":["Informatik-Fachberichte","Formale Modelle f\u00fcr Informationssysteme"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67485-3_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:44:10Z","timestamp":1606254250000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67485-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540097730","9783642674853"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67485-3_11","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1979]]}}}