{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T12:01:58Z","timestamp":1762862518064},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008996"},{"type":"electronic","value":"9783540365785"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36578-8_6","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T07:16:11Z","timestamp":1193469371000},"page":"67-86","source":"Crossref","is-referenced-by-count":5,"title":["Composing Specifications of Event Based Applications"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Fenkam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harald","family":"Gall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehdi","family":"Jazayeri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"6_CR1","unstructured":"P. Aczel. An inference rule for parallel composition, University of Manchester, 1983."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Stern Agerholm and Peter Gorm Larsen. A Lightweight Approach to Formal Methods. In Proceedings of the Interna-tional Workshop on Currents Trends in Applied Formal Methods. Springer Verlag, October 1998.","DOI":"10.1007\/3-540-48257-1_10"},{"key":"6_CR3","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/163298.163303","volume":"12","author":"K.P. Birman","year":"1993","unstructured":"K.P. Birman. The progress group approach to reliable distributed computing. Communications of the ACM, 12:37\u201353, December 1993.","journal-title":"Communications of the ACM"},{"key":"6_CR4","volume-title":"Inside OLE.","author":"K. Brockschmidt","year":"1995","unstructured":"K. Brockschmidt. Inside OLE. Microsoft Press, Redmond, 1995."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"C.A.R Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"issue":"19","key":"6_CR6","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/380749.380767","volume":"3","author":"A. Carzaniga","year":"2001","unstructured":"A. Carzaniga, D.S. Rosenblum, and A.L. Wolf. Design and evaluation of a wide-area event notification service. ACM Transactions on Computer Systems, 3(19):332\u2013383, August 2001.","journal-title":"ACM Transactions on Computer Systems"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"G. Cugola, E. Di Nitto, and A. Fuggetta. The JEDI Event-Based Infrastructure and its Application to the Development of the OPSS WFMS. Transaction of Software Engineering (TSE), 27(9), September 2001.","DOI":"10.1109\/32.950318"},{"key":"6_CR9","unstructured":"E.W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976."},{"key":"6_CR10","unstructured":"J. Dingel, D. Garlan, S. Jha, and D. Notkin. Reasonning about Implicit Invocation. In Proceedings of the 6th International Symposium on the Foundations of Software Engineering, FSE-6. ACM, 1998."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"J. Dingel, D. Garlan, S. Jha, and D. Notkin. Towards a formal treatment of implicit invocation using rely\/guarantee reasoning. Formal Aspects of Computing, 10, 1998.","DOI":"10.1007\/s001650050011"},{"key":"6_CR12","unstructured":"C. Ene and Traian Muntean. A broadcast-based calculus for communicating systems. Technical report, Laboratoire d\u2019Informatique de Marseille, 2000."},{"key":"6_CR13","unstructured":"Object Management Group. OMG Formal Documentation. Technical report, OMG, December 1999."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10), 1969.","DOI":"10.1145\/363235.363259"},{"key":"6_CR15","unstructured":"D. Jackson and J. Wing. Lightweight Formal Methods. In IEEE Computer. Springer Verlag, April 1996."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"C.B. Jones. Tentative steps toward a development method for interfering programs. Transactions on Programming Languages and Systems, 5(4), October 1983.","DOI":"10.1145\/69575.69577"},{"key":"6_CR17","unstructured":"Cli. B. Jones. Systematic software development using VDM. Prentice-Hall International, 1990. 2nd edition."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"B. Krishnamurthy and N.S. Barghouti. Provence: A process visualization and enactment environment. In Proceedings of 4th European Software Engineering Conference, pages 451\u2013465, 1993.","DOI":"10.1007\/3-540-57209-0_30"},{"key":"6_CR19","unstructured":"R. Milner. The Calculus of Communicating Systems. Prentice Hall, 1993."},{"key":"6_CR20","unstructured":"Robert Orfali, Dan Harkey, and Jeri Edwards. The Essential Client\/Server Survival Guide. Wiley Computer Publishing, second edition, 1996."},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"S. Owicki and D. Gries. Verifying properties of parallel programs: an axiomatic approach. Communications of the ACM, 19(5), May 1976.","DOI":"10.1145\/360051.360224"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"K. Prasad. A calculus of broadcasting systems. In Proceedings of TAPSOFT\u201991, volume 493, 1991.","DOI":"10.1007\/3-540-53982-4_19"},{"issue":"1","key":"6_CR23","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/174625.174629","volume":"16","author":"J.M. Purtilo","year":"1994","unstructured":"J.M. Purtilo. The polylith software bus. ACM Transactions on Programming Languages and Systems, 16(1):151\u2013174, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"S.P. Reiss. Connecting tools using message passing in the field program development environment. IEEE Software, 19(5), July 1990.","DOI":"10.1109\/52.56450"},{"key":"6_CR25","unstructured":"Ed Roman and Scott W. Ambler and Tyler Jewell. Mastering Enterprise JavaBeans. John Wiley & Sons, second edition, 2002."},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"K. Stolen. A Method for the Development of Totally Correct Shared-State Parallel Programs. In CONCUR\u201991, pages 510\u2013525. Springer Verlag, 1991.","DOI":"10.1007\/3-540-54430-5_110"},{"key":"6_CR27","unstructured":"SunSoft. The ToolTalk Service: An Inter-operability Solution. Prentice-Hall, 1993."},{"key":"6_CR28","unstructured":"Peter Sutton, Rhys Arkins, and Bill Segall. Supporting disconnectednesstransparent information delivery for mobile and invisible computing. In Proceedings of 2001 IEEE International symposium on Cluster Computing and the Grid (CCGrid\u201901), May 2001."},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Jim Woodcock and Arthur Hughes. Unifying theories of parallel programming. In Proceedings of the International Conference on Formal Engineering Methods (ICFEM 2002). Springer Verlag, 2002.","DOI":"10.1007\/3-540-36103-0_5"},{"key":"6_CR30","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF01211617","volume":"9","author":"Q. Xu","year":"1997","unstructured":"Q. Xu, W.-P. de Roever, and J. He. The rely guarantee method for verifying shared variable concurrent programs. Formal Aspects of Computing, 9:149\u2013174, 1997.","journal-title":"Formal Aspects of Computing"},{"key":"6_CR31","unstructured":"Q. Xu and J. He. A theory of state-based parallel programming by refinement: part 1. In Proceedings of the 4th BCS-FACS Refinement Workshop. Springer Verlag, 1991."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36578-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T14:57:46Z","timestamp":1684076266000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36578-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008996","9783540365785"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-36578-8_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}