{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:24:27Z","timestamp":1775053467866,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540584681","type":"print"},{"value":"9783540489849","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58468-4_175","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:15:02Z","timestamp":1330272902000},"page":"393-417","source":"Crossref","is-referenced-by-count":14,"title":["Layering of real-time distributed processes"],"prefix":"10.1007","author":[{"given":"Wil","family":"Janssen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mannes","family":"Poel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Job","family":"Zwiers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiwen","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Lamport. An old-fashioned recipe for real time. In de Bakker, Huizing, de Roever, and Rozenberg, editors, Real-Time: Theory in Practice, LNCS 600, pages 1\u201327. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0031985"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"G. Berry and G. Gontier. The synchronous programming language esterel, design, semantics, implementation. Science of Computer Programming, 1986.","DOI":"10.1007\/3-540-15670-4_19"},{"key":"19_CR3","unstructured":"P.A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987."},{"key":"19_CR4","unstructured":"F. Cristian, H. Aghili, R. Strong, and D. Dolev. Atomic broadcast: From simple message diffusion to byzantine agreement. In Proceedings 15th International Symposium on Fault-Tolerant Computing, 1985."},{"key":"19_CR5","unstructured":"C. Fidge. A constraint-oriented real-time process calculus. In M. Diaz and R. Groz, editors, Formal Description Techniques, pages 363\u2013378. Elsevier Science Publishers, 1993."},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"J. Hooman. Specification and Compositional Verification of Real-Time Systems. Springer-Verlag Lecture Notes in Computer Science 558, 1991.","DOI":"10.1007\/3-540-54947-1"},{"key":"19_CR7","unstructured":"W. Janssen. Layered Design of Parallel Systems. PhD thesis, University of Twente, 1994. (to appear)."},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"W. Janssen, M. Poel, and J. Zwiers. Action systems and action refinement in the development of parallel systems. In Proceedings of CONCUR '91, LNCS 527, pages 298\u2013316. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54430-5_96"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"W. Janssen and J. Zwiers. From sequential layers to distributed processes, deriving a distributed minimum weight spanning tree algorithm, (extended abstract). In Proceedings 11th ACM Symposium on Principles of Distributed Computing, pages 215\u2013227. ACM, 1992.","DOI":"10.1145\/135419.135461"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"W. Janssen and J. Zwiers. Protocol design by layered decomposition, a compositional approach. In J. Vytopil, editor, Proceedings Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 571, pages 307\u2013326. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55092-5_17"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Y. Moses and O. Kislev. Knowledge-oriented programming, (extended abstract). In Proceedings 12th ACM Symposium on Principles of Distributed Computing, pages 261\u2013270. ACM, 1993.","DOI":"10.1145\/164051.164080"},{"key":"19_CR12","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"S. Owicki and D. Gries. An axiomatic proof technique for parallel programs. Acta Informatica, 6:319\u2013340, 1976.","journal-title":"Acta Informatica"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"M. Poel and J. Zwiers. Layering techniques for development of parallel systems. In G. v. Bochmann and D. Probst, editors, Proceedings Computer Aided Verification, LNCS 663, pages 16\u201329. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-56496-9_3"},{"key":"19_CR14","unstructured":"M. Poel and J. Zwiers. Closed layers in the presence of conspiracy and cascading. Preliminary report, 1993."},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"F. Rocheteau and N. Halbwachs. Implementing reactive programs on circuits: A hardware implementation of lustre. In de Bakker, de Roever, and Rozenberg, editors, Real-Time: Theory in Practice, LNCS 600, pages 195\u2013208. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0031993"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"F. Schneider, B. Bloom, and K. Marzullo. Putting time into proof outlines. In de Bakker, de Roever, and Rozenberg, editors, Real-Time: Theory in Practice, LNCS 600, pages 618\u2013639. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0032010"},{"key":"19_CR17","unstructured":"P. Zhou. Clocks, Communications, and Correctness. PhD thesis, University of Eindhoven, 1993."},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"J. Zwiers and W. Janssen. Partial order based design of concurrent systems. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Proceedings of the REX School\/Symposium \u201cA Decade of Concurreny\u201d, Noordwijkerhout, 1993, LNCS 803, pages 622\u2013684. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58043-3_30"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"J. Zwiers. Layering and action refinement for timed systems. In de Bakker, Huizing, de Roever, and Rozenberg, editors, Real-Time: Theory in Practice, LNCS 600, pages 687\u2013723. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0032013"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58468-4_175.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T07:31:14Z","timestamp":1640935874000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58468-4_175"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584681","9783540489849"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-58468-4_175","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}