{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:17Z","timestamp":1725456137843},"publisher-location":"Berlin\/Heidelberg","reference-count":7,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354010027X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022518","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T00:49:12Z","timestamp":1132706952000},"page":"375-386","source":"Crossref","is-referenced-by-count":3,"title":["Inducing patterns of behaviour in distributed system parts"],"prefix":"10.1007","author":[{"given":"Norbert","family":"Kraft","sequence":"first","affiliation":[]},{"given":"Horst","family":"Wedde","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Dijkstra, E.W.: \u201cCo-operating Sequential Processes\u201d, in: \u201cProgramming Languages\u201d (ed. Genuys); Academic Press, New York"},{"volume-title":"Acta Informatica 1","year":"1971","author":"E.W. Dijkstra","key":"27_CR2","unstructured":"Dijkstra, E.W.: \u201cHierarchical Ordering of Sequential Processes\u201d; Acta Informatica 1 (1971); Springer Verlag, Berlin-Heidelberg-New York"},{"key":"27_CR3","unstructured":"Kraft, N.: \u201cZum Aufbau einer Theorie verteilter Systeme auf der Interaktion der Komponenten\u201d; Diplom thesis, Bonn 1980 (German)"},{"volume-title":"Springer Lecture Notes in Computer Science 45","year":"1976","author":"K. Lautenbach","key":"27_CR4","unstructured":"Lautenbach, K., Wedde, H.: \u201cGenerating Control Mechanisms by Restrictions\u201d; Proc. of the MFCS'76 Symp. in Gdansk, in: A. Mazurkiewicz (ed.): Springer Lecture Notes in Computer Science 45 (1976); Springer Verlag, Berlin-Heidelberg-New York"},{"volume-title":"Springer Lecture Notes in Computer Science 70","year":"1979","author":"A. Maggiolo-Schettini","key":"27_CR5","unstructured":"Maggiolo-Schettini, A., Wedde, H., Winkowski, J.: \u201cModelling a Solution for a Control Problem in Distributed Systems by Restrictions; Symp. \u201cSemantics of Concurrent Computation\u201d in Evian\/France, in: G. Kahn (ed.): Springer Lecture Notes in Computer Science 70(1979); Springer Verlag, Berlin-Heidelberg-New York"},{"key":"27_CR6","unstructured":"Wedde, H.: \u201cLose Kopplung von Systemkomponenten\u201d; Berichte der GMD No. 96, Bonn 1975 (German)"},{"volume-title":"Springer Lecture Notes in Computer Science 53","year":"1977","author":"H. Wedde","key":"27_CR7","unstructured":"Wedde, H., Winkowski, J.: \u201cDetermining Processes by Violations\u201d; MFCS'77 Symp. in Tatranska Lomnica, in: 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 1980"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022518.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:48:48Z","timestamp":1607532528000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022518"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354010027X"],"references-count":7,"URL":"http:\/\/dx.doi.org\/10.1007\/bfb0022518","relation":{},"subject":[]}}
