{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:48Z","timestamp":1725455988510},"publisher-location":"Berlin\/Heidelberg","reference-count":7,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354009511X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022472","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T00:24:08Z","timestamp":1132705448000},"page":"226-248","source":"Crossref","is-referenced-by-count":1,"title":["Modeling 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":"Jozef","family":"Winkowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","first-page":"11","volume":"21","author":"P. Brinch Hansen","year":"1978","unstructured":"Brinch Hansen, P.: Distributed Processes: A Concurrent Programming Concept; CACM; Vol. 21, 11 (1978)","journal-title":"CACM"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Genrich, H.J. and Lautenbach, K.: Facts in Place\/Transition Nets; Proc. of the MFCS'78 Symp., in: Springer Lecture Notes in Computer Science; Vol. 64 (1978)","DOI":"10.1007\/3-540-08921-7_69"},{"key":"13_CR3","volume-title":"Formal Description of Programming Concepts","author":"P.E. Lauer","year":"1978","unstructured":"Lauer, P.E., Best, E. and 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., Amsterdam (1978)"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Lautenbach, K. and Wedde, H.: Generating Control Mechanisms by Restrictions; Proc. of the MFCS'76 Symp.; in: Springer Lecture Notes in Computer Science; Vol. 45 (1976)","DOI":"10.1007\/3-540-07854-1_208"},{"key":"13_CR5","unstructured":"Patil, S.S.: Coordination of Asynchronous Events; MAC TR-72; MIT (1970)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Wedde, H. and Winkowski, J.: Determining Processes by Violations; Proc. of the MFCS'77 Symp.; in: Springer Lecture Notes in Comp. Sc.; 53 (1977)","DOI":"10.1007\/3-540-08353-7_179"},{"key":"13_CR7","unstructured":"Wedde, H.: Fundamentals of a Theory of Infringements; in: Progress in Cybernetics and Systems Research; Hemisphere; Washington D.C. (inpress)"}],"container-title":["Lecture Notes in Computer Science","Semantics of Concurrent Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0022472","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:18:02Z","timestamp":1586564282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022472"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354009511X"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0022472","relation":{},"subject":[]}}