{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:27:27Z","timestamp":1725488847982},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540427162"},{"type":"electronic","value":"9783540454847"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45484-5_17","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T02:45:25Z","timestamp":1186886725000},"page":"209-221","source":"Crossref","is-referenced-by-count":0,"title":["Refining Interactions in a Distributed System"],"prefix":"10.1007","author":[{"given":"Neelam","family":"Soundarajan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,10,26]]},"reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/357103.357110","volume":"2","author":"K. Apt","year":"1980","unstructured":"K. Apt, N. Francez, and W. deRoever. A proof system for csp. ACM TOPLAS, 2:359\u2013385, 1980.","journal-title":"ACM TOPLAS"},{"key":"17_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/3540539816_73","volume-title":"Proceedings of TAPSOFT","author":"E. Brinksma","year":"1991","unstructured":"E. Brinksma, B. Jonsson, and F. Orava. Refining interfaces of communicating systems. In Proceedings of TAPSOFT, pages 297\u2013312. Springer-Verlag, LNCS 494, 1991."},{"key":"17_CR3","unstructured":"M. Broy. (inter)action refinement: the easy way. http:\/\/www4.informatik.tu-muenchen.de\/paper_db\/papers\/broy easy way.html ."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"K.M. Chandy and J. Misra. Parallel program design. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1145\/201024.201026","volume":"3","author":"C. Creveuil","year":"1994","unstructured":"C. Creveuil and G.C. Roman. Formal specification and design of a message router. A CM TOSEM, 3:271\u2013308, 1994.","journal-title":"A CM TOSEM"},{"key":"17_CR6","unstructured":"N. Francez and I. Forman. Interacting processes. Addison-Wesley, 1996."},{"key":"17_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BFb0084784","volume-title":"CONCUR\u2019 92","author":"R. Gerth","year":"1992","unstructured":"R. Gerth, R. Kuiper, and J. Segers. Interface refinement in reactive systems. In CONCUR\u2019 92, LNCS 630, pages 145\u2013167. Springer-Verlag, 1992."},{"key":"17_CR8","unstructured":"G. Holzmann. Design and validation of computer protocols. Prentice-Hall, 1991."},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1109\/TSE.1981.230844","volume":"7","author":"J. Misra","year":"1981","unstructured":"J. Misra and K. Chandy. Proofs of networks of processes. IEEE Trans. on Software Eng., 7:417\u2013426, 1981.","journal-title":"IEEE Trans. on Software Eng."},{"issue":"1","key":"17_CR10","doi-asserted-by":"publisher","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(1):319\u2013340, 1976.","journal-title":"Acta Informatica"},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1145\/1780.1805","volume":"6","author":"N. Soundarajan","year":"1984","unstructured":"N. Soundarajan. Axiomatic semantics of csp. A CM TOPLAS, 6:647\u2013662, 1984.","journal-title":"A CM TOPLAS"},{"key":"17_CR12","unstructured":"N. Soundarajan. Interaction refinement in the design of oo systems. In N. Deb-nath and R. Lee, editors, Proceedings of the 3rd International Conf. on Software Engineering and Applications, pages 269\u2013274. IASTED\/ACTA Press, 1999."}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Agent-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45484-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:53:57Z","timestamp":1556740437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45484-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540427162","9783540454847"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45484-5_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}