{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:47Z","timestamp":1725663587699},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540194224"},{"type":"electronic","value":"9783540392644"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19422-3_15","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:09:12Z","timestamp":1330200552000},"page":"186-205","source":"Crossref","is-referenced-by-count":1,"title":["Graph-theoretical tools and their use in a practical distributed operating system design case"],"prefix":"10.1007","author":[{"given":"Horst F.","family":"Wedde","sequence":"first","affiliation":[]},{"given":"Douglas C.","family":"Daniels","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"G.V. BOCHMANN, Finite-State Description of Communication Protocols; Computer Networks Vol. 2(1978)","DOI":"10.1016\/0376-5075(78)90015-6"},{"key":"15_CR2","unstructured":"B. BOSCHMANN, Zur Verhaltensanalyse in verteilten Systemen. Diploma Thesis, Bonn 1984 (German)"},{"key":"15_CR3","unstructured":"H.-D. BREMER, Planung in Grossunternehmen mit Hilfe der Interaktionssysteme. Diploma Thesis, Bonn 1984 (German)"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"G. CASTELLI, F. DE CINDIO, G. DE MICHELIS, C. SIMONE, The GCP Language and its Implementation; Proc. of the IFIP workshop \"Languages for Automation\"; New Orleans, October 1984","DOI":"10.1007\/978-1-4757-1388-6_17"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"M. CHANDY, J. MISRA, An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection; TOPLAS Vol. 8 No. 3(1986)","DOI":"10.1145\/5956.5958"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"M. CHANDY, J. MISRA, The Drinking Philosophers' Problem; TOPLAS Vol. 6 No.4 (1984)","DOI":"10.1145\/1780.1804"},{"key":"15_CR7","unstructured":"F. DE CINDIO, G. DE MICHELIS, L. POMELLO, C. SIMONE, A Petri Net Model of CSP; Proc. of the CIL'81, Barcelona 1981"},{"key":"15_CR8","unstructured":"D.C. DANIELS; DRAGON SLAYER: A Blueprint for the Design of a Completely Distributed Operating System; Master's Thesis, Wayne State University 1986"},{"key":"15_CR9","unstructured":"D.C. DANIELS, H.F. WEDDE, Real-time Performance of a Completely Distributed Operating System; Proc. of the IEEE Real-time Systems Symp.'86, New Orleans, December 1986"},{"key":"15_CR10","unstructured":"C.B. FRIEDLANDER, H.F. WEDDE, Distributed Processing under the DRAGON SLARYER Operating System; Proc. of the 15th International IEEE Conference on Parallel Processing, Pheasant Run Resort, August 1986"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"C.A.R. HOARE, Communicating Sequential Processes; CACM Vol. 21 No. 8(1978)","DOI":"10.1145\/359576.359585"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"A. MAGGIOLO-SCHETTINI. H.F. WEDDE, J. WINKOWSKI, Modeling a Solution for a Control Problem in Distributed Systems by Restrictions; Theoretical Computer Science 13 (1981)","DOI":"10.1016\/0304-3975(81)90111-0"},{"key":"15_CR13","unstructured":"A. PNUELI, The Temporal Semantics of Concurrent Programming; in G. Kahn, R. Milner (ed.): Springer Lecture Notes in Computer Science Vol. 70(1979)"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"A.S. TANENBAUM, R. VAN RENESSE, Distributed Operating Systems; ACM Computing Surveys Vol. 17 No. 4(1985)","DOI":"10.1145\/6041.6074"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"H.F. WEDDE, A Graph-theoretic Model for Designing Fair Distributed Scheduling Algorithms; in Tinhofer, Schmidt (ed.): Springer Lecture Notes in Computer Science Vol. 246(1987)","DOI":"10.1007\/3-540-17218-1_60"},{"key":"15_CR16","unstructured":"H.F. WEDDE, A Formal Basis for Correct Implementation of Distributed Programming Languages; Proc. of the 5th International IEEE Conference on Distributed Computing Systems, Denver, May 1985"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"H.F. WEDDE, Value of Formal Information System Models for a Flexible Reorganization in an Insurance Company; in J.C. Agrawal, P. Zunde (ed.): Empirical Foundations of Software and Systems Sciences; Plenum Press 1985","DOI":"10.1007\/978-1-4613-2521-5_29"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"H.F. WEDDE, An Iterative and Starvation-free Solution for a General Class of Distributed Control Problems Based on Interaction Primitives; Theoretical Computer Science Vol. 24 (1983)","DOI":"10.1016\/0304-3975(83)90127-5"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"J. WINKOWSKI, Protocols of Accessing Overlapping Sets of Resources; Information Processing Letters Vol. 12 No. 5(1981)","DOI":"10.1016\/0020-0190(81)90023-5"}],"container-title":["Lecture Notes in Computer Science","Graph-Theoretic Concepts in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19422-3_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:17:09Z","timestamp":1605644229000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19422-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540194224","9783540392644"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-19422-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}