{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:08Z","timestamp":1725487088374},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422815"},{"type":"electronic","value":"9783540482130"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-48213-x_4","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T18:01:14Z","timestamp":1183399274000},"page":"52-71","source":"Crossref","is-referenced-by-count":0,"title":["SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems"],"prefix":"10.1007","author":[{"given":"Rodolphe","family":"Arthaud","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,22]]},"reference":[{"key":"4_CR1","unstructured":"Maurice J. Bach, Design of the Unix Operating System, Prentice Hall (even the cover shows layers)."},{"key":"4_CR2","unstructured":"John Bloomer, Power Programming With RPC, O\u2019Reilly& Associates, 1992."},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"1334","DOI":"10.1109\/PROC.1983.12775","volume":"71","author":"J. D. Day","year":"1983","unstructured":"J. D. Day and H. Zimmermann, The OSI Reference Model, Proc. of IEEE, vol. 71, pp. 1334\u20131340, dec. 1983.","journal-title":"Proc. of IEEE"},{"key":"4_CR4","unstructured":"M. Ferguson, David Brennan, Motif Reference Manual (The Definitive Guides to the X Window System, Vol. 6B), O\u2019Reilly & Associates, Inc.."},{"key":"4_CR5","unstructured":"Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides, Design Patterns, Addison-Wesley."},{"key":"4_CR6","unstructured":"Object Management Group, The Common Object Request Broker: Architecture and Specification, v. 2.4, October 2000."},{"key":"4_CR7","unstructured":"J. Richter, Advanced Windows, 3rd edition,MS Press, 1997."},{"key":"4_CR8","volume-title":"Computer networks","author":"A. S. Tanenbaum","year":"1996","unstructured":"Andrew S. Tanenbaum, Computer networks, 3rd ed.,Prentice Hall, New Jersey, 1996.","edition":"3rd"},{"key":"4_CR9","unstructured":"Douglas A. Young, X Window System, The Programming and Applications with Xt,OSF Motif Edition."}],"container-title":["Lecture Notes in Computer Science","SDL 2001: Meeting UML"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48213-X_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T16:24:36Z","timestamp":1550420676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48213-X_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422815","9783540482130"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-48213-x_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}