{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T12:02:57Z","timestamp":1762862577900,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540408284"},{"type":"electronic","value":"9783540452362"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45236-2_35","type":"book-chapter","created":{"date-parts":[[2010,6,26]],"date-time":"2010-06-26T00:08:38Z","timestamp":1277510918000},"page":"636-657","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Constructing Deadlock Free Event-Based Applications: A Rely\/Guarantee Approach"],"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,9,25]]},"reference":[{"key":"35_CR1","unstructured":"Aczel, P.: An inference rule for parallel composition. Technical report, University of Manchester (February 1983)"},{"issue":"4","key":"35_CR2","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1145\/235321.235324","volume":"5","author":"D.J. Barret","year":"1996","unstructured":"Barret, D.J., Clarke, L.A., Tarr, P.L., Wise, A.E.: A framework for event based software integration. ACM Transactions on Software Engineering and Methodology\u00a05(4), 378\u2013421 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"35_CR3","unstructured":"Bergner, K., Rausch, A., Sihling, M.: A componentware development methodology based on process patterns. In: Proceedings of 5th Annual Conference on Pattern Languages of Programs, PLOP 1998 (1998)"},{"key":"35_CR4","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"issue":"19","key":"35_CR5","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/380749.380767","volume":"3","author":"A. Carzaniga","year":"2001","unstructured":"Carzaniga, A., Rosenblum, D.S., Wolf, A.L.: Design and evaluation of a wide-area event notification service. ACM Transactions on Computer Systems\u00a03(19), 332\u2013383 (2001)","journal-title":"ACM Transactions on Computer Systems"},{"key":"35_CR6","unstructured":"Dingel, J.: Systematic parallel programming. PhD thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh (December 1999)"},{"key":"35_CR7","volume-title":"Proceedings of the 6th International Symposium on the Foundations of Software Engineering, FSE-6","author":"J. Dingel","year":"1998","unstructured":"Dingel, J., Garlan, D., Jha, S., Notkin, D.: Reasonning about Implicit Invocation. In: Proceedings of the 6th International Symposium on the Foundations of Software Engineering, FSE-6. ACM, New York (1998)"},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Dingel, J., Garlan, D., Jha, S., Notkin, D.: Towards a formal treatment of implicit invocation using rely\/guarantee reasoning. Formal Aspects of Computing\u00a010 (1998)","DOI":"10.21236\/ADA329940"},{"key":"35_CR9","volume-title":"Proceedings of the 22th IEEE Symposium on Reliable Distributed Systems (SRDS 2003)","author":"P. Fenkam","year":"2003","unstructured":"Fenkam, P., Gall, H., Jazayeri, M.: A Systematic Approach to the Development of Event-Based Applications. In: Proceedings of the 22th IEEE Symposium on Reliable Distributed Systems (SRDS 2003), Florence, Italy, October 2003. IEEE Computer Press, Los Alamitos (2003)"},{"key":"35_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-36578-8_6","volume-title":"Fundamental Approaches to Software Engineering","author":"P. Fenkam","year":"2003","unstructured":"Fenkam, P., Gall, H., Jazayeri, M.: Composing Specifications of Event Based Applications. In: Pezz\u00e9, M. (ed.) FASE 2003. LNCS, vol.\u00a02621, pp. 67\u201386. Springer, Heidelberg (2003)"},{"key":"35_CR11","unstructured":"Garlan, D., Khersonsky, S.: Model checking implicit-invocation systems. In: Proceedings of the 10th International Workshop on Software Specification and Design, San Diego, CA (November 2000)"},{"key":"35_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"VDM \u201991","author":"D. Garlan","year":"1991","unstructured":"Garlan, D., Notkin, D.: Formalizing design spaces: Implicit invocation mechanisms. In: Prehn, S., Toetenel, H. (eds.) VDM 1991. LNCS, vol.\u00a0551. Springer, Heidelberg (1991)"},{"key":"35_CR13","unstructured":"Jackson, D.: Automatic analysis of architectural styles. Technical report, MIT Laboratory for Computer Sciences, Software Design Group, Unpublished Manuscript, Available at http:\/\/sdg.lcs.mit.edu\/dnj\/publications.html"},{"key":"35_CR14","doi-asserted-by":"crossref","unstructured":"Jones, C.B.: Tentative steps towards a development method for interfering programs. Transactions on Programming Languages and Systems\u00a05(4) (October 1983)","DOI":"10.1145\/69575.69577"},{"key":"35_CR15","volume-title":"The Calculus of Communicating Systems","author":"R. Milner","year":"1993","unstructured":"Milner, R.: The Calculus of Communicating Systems. Prentice-Hall, Englewood Cliffs (1993)"},{"key":"35_CR16","unstructured":"Object Management Group. OMG Formal Documentation. Technical report, OMG (December 1999)"},{"key":"35_CR17","doi-asserted-by":"crossref","unstructured":"Owicki, S., Gries, D.: Verifying properties of parallel programs: an axiomatic approach. Communications of the ACM\u00a019(5) (May 1976)","DOI":"10.1145\/360051.360224"},{"key":"35_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"TAPSOFT \u201991. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991","author":"K. Prasad","year":"1991","unstructured":"Prasad, K.: A calculus of broadcasting systems. In: Abramsky, S. (ed.) CAAP 1991 and TAPSOFT 1991. LNCS, vol.\u00a0493. Springer, Heidelberg (1991)"},{"key":"35_CR19","doi-asserted-by":"crossref","unstructured":"Reiss, S.P.: Connecting tools using message passing in the field program development environment. IEEE Software\u00a019(5) (July 1990)","DOI":"10.1109\/52.56450"},{"key":"35_CR20","volume-title":"Mastering Enterprise JavaBeans","author":"E. Roman","year":"2002","unstructured":"Roman, E., Ambler, S.W., Jewell, T.: Mastering Enterprise JavaBeans, 2nd edn. John Wiley & Sons, Chichester (2002)","edition":"2"},{"key":"35_CR21","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/0304-3975(84)90122-1","volume":"31","author":"N. Soundararajan","year":"1984","unstructured":"Soundararajan, N.: A proof technique for parallel programs. Theoretical Computer Science\u00a031, 13\u201329 (1984)","journal-title":"Theoretical Computer Science"},{"key":"35_CR22","unstructured":"St\u00f8len, K.: Development of Parallel Programs on Shared Data-Structures. PhD thesis, Department of Computer Science, University of Manchester (1990)"},{"key":"35_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1007\/3-540-54430-5_110","volume-title":"CONCUR \u201991","author":"K. St\u00f8len","year":"1991","unstructured":"St\u00f8len, K.: A Method for the Development of Totally Correct Shared-State Parallel Programs. In: Groote, J.F., Baeten, J.C.M. (eds.) CONCUR 1991. LNCS, vol.\u00a0527, pp. 510\u2013525. Springer, Heidelberg (1991)"},{"key":"35_CR24","unstructured":"TIBCO Software Inc. TIB\/Rendezvous TX Concepts Release 1.1. Technical report, TIBCO Software Inc.,Palo Alto, CA (November 2002), http:\/\/www.tibco.com"},{"key":"35_CR25","volume-title":"Proceedings of the 4th BCS-FACS Refinement Workshop","author":"Q. Xu","year":"1991","unstructured":"Xu, Q., He, J.: A theory of state-based parallel programming by refinement: part 1. In: Proceedings of the 4th BCS-FACS Refinement Workshop. Springer, Heidelberg (1991)"}],"container-title":["Lecture Notes in Computer Science","FME 2003: Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45236-2_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T05:48:57Z","timestamp":1635572937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45236-2_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540408284","9783540452362"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45236-2_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"25 September 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}