{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:02:03Z","timestamp":1725494523158},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665311"},{"type":"electronic","value":"9783540481690"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48169-9_16","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T00:36:33Z","timestamp":1194222993000},"page":"226-239","source":"Crossref","is-referenced-by-count":0,"title":["DUALITY: An Architecture Independent Design Model for Parallel Systems Based on Partial Order Semantics"],"prefix":"10.1007","author":[{"given":"Camelia","family":"Zlatea","sequence":"first","affiliation":[]},{"given":"Tzilla","family":"Elrad","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,3]]},"reference":[{"key":"16_CR1","volume-title":"Parallel Programs Design: A Foundation","author":"K. Chandy","year":"1988","unstructured":"Chandy, K., Misra, J.: Parallel Programs Design: A Foundation. Addison-Wesley, New York, N.Y.,(1988)."},{"key":"16_CR2","unstructured":"Bouge, Luc: The Data Parallel Programming Model: A Semantic Perspective. Research Report-96\u201327, LIP, Lyon, (1996)."},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0167-6423(83)90013-8","volume":"2","author":"T. Elrad","year":"1982","unstructured":"Elrad, T., Francez, N.: Decomposition of Distributed Programs into Communication Closed Layers. Science of Programming, 2, N.H., (1982) 155\u2013173","journal-title":"Science of Programming"},{"key":"16_CR4","unstructured":"Elrad, T., K, Nambi, K.: Scheduling Cooperative Work: Viewing Distributed Systems as Both CSP and SCL. In Proceedings of the 13th International Conference on Distributed Computing Systems, Pittsburgh, May (1993)"},{"key":"16_CR5","volume-title":"Handbook of Theoretical Computer Science","author":"A. Emerson","year":"1990","unstructured":"Emerson, A.: Temporal and Modal Logic. Handbook of Theoretical Computer Science, Elsevier Science Publisher B.V., (1990)"},{"key":"16_CR6","first-page":"7","volume":"2","author":"P. Godefroid","year":"1996","unstructured":"Godefroid, P., Peled, D., Staskauskas, M.: Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. IEEE Transactions on Software Engineering, 2:7, (1996) 496-507","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1007\/3-540-54430-5_96","volume-title":"In Proc. of CONCUR\u201991","author":"W. Janssen","year":"1991","unstructured":"Janssen, W., Poel, M, Zwiers, J.: Actions System and Action Refinement in the Development of Parallel Systems. In Proc. of CONCUR\u201991, SpringerbooVerlag, LNCS 527, (1991) 298\u2013316"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Katz, S., Peled, D.: Interleaving Set Temporal Logic. Theoretical Computer Science, 75(2), (1990)","DOI":"10.1016\/0304-3975(90)90096-Z"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Poel, M, Zwiers, J.: Layering Techniques for Development of Parallel Systems. Proc. of ACM PODC, (1992)","DOI":"10.1007\/3-540-56496-9_3"},{"key":"16_CR10","unstructured":"Sanders, B., Meyer, D.: Composing Lead-to Properties. Technical Report, UFCISE, ftp:\/\/ftp.cise.ufl.edu\/cis\/tech-reports\/tr96\/tr96-013.ps, (1996)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Snyder, L.: Applications of the phase abstraction for portable and scalable parallel programming. Languages, Compilers and Run-Time Environments, (1992)","DOI":"10.1016\/B978-0-444-88712-2.50009-3"},{"key":"16_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/3-540-51687-5_47","volume-title":"Proc. of the 3rd International Workshop on Distributed Algorithms","author":"F.A. Stomp","year":"1989","unstructured":"Stomp, F.A., de Roever, W.P.: Designing distributed algorithms by means of formally phased reasoning. Proc. of the 3rd International Workshop on Distributed Algorithms, LNCS 392, Springer-Verlag, (1989) 242\u2013253"},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/321105.321107","volume":"9","author":"S. Warshall","year":"1962","unstructured":"Warshall, S.: A Theorem on Boolean Matrices. Journal of the ACM, 9, (1962) 11\u201312","journal-title":"Journal of the ACM"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Zlatea, C., Elrad, T.: Brief Announcement: A Design Methodology for Mobile Distributed Applications based on UNITY Formalism and Communication Closed Layering, Proc. of 18th Symposium ACM PODC, Atlanta, May (1999)","DOI":"10.1145\/301308.301405"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48169-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T01:05:44Z","timestamp":1556931944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48169-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665311","9783540481690"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-48169-9_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}