{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:14:39Z","timestamp":1729660479043,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/reldis.2003.1238069","type":"proceedings-article","created":{"date-parts":[[2004,3,1]],"date-time":"2004-03-01T21:26:50Z","timestamp":1078176410000},"page":"199-208","source":"Crossref","is-referenced-by-count":3,"title":["A systematic approach to the development of event based applications"],"prefix":"10.1109","author":[{"given":"P.","family":"Fenkam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Gall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Jazayeri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360224"},{"key":"22","article-title":"A theory of state-based parallel programming by refinement: Part 1","author":"xu","year":"1991","journal-title":"Proceedings of the 4th BCS-FACS Refinement Workshop"},{"journal-title":"Software Architecture - Perspectives on an Emerging Discipline","year":"1996","author":"shaw","key":"17"},{"journal-title":"Calculus of Communicating Systems","year":"1993","author":"milner","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/69575.69577"},{"journal-title":"Systematic Software Development Using VDM","year":"1990","author":"jones","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45236-2_35"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/IWSSD.2000.891123"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54430-5_110"},{"key":"3","article-title":"A component-ware development methodology based on process patterns","author":"bergner","year":"1998","journal-title":"Proceedings of 5th Annual Conference on Pattern Languages of Programs (PLOP98)"},{"key":"20","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-53982-4_19","article-title":"A calculus of broadcasting systems","volume":"493","author":"prasad","year":"1991","journal-title":"Proceedings of TAPSOFT'91"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235324"},{"key":"1","article-title":"A lightweight approach to formal methods","author":"agerholm","year":"1998","journal-title":"Proceedings of the International Workshop on Currents Trends in Applied Formal Methods"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36578-8_6"},{"key":"7","article-title":"Reasonning about Implicit Invocation","author":"dingel","year":"1998","journal-title":"Proceedings of the 6th International Symposium on the Foundations of Software Engineering FSE-6"},{"journal-title":"Systematic Parallel Programming","year":"1999","author":"dingel","key":"6"},{"journal-title":"A Discipline of Programming","year":"1976","author":"dijkstra","key":"5"},{"journal-title":"Parallel Program Design A Foundation","year":"1988","author":"chandy","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/857076.857078"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s001650050011"}],"event":{"name":"22nd International Symposium on Reliable Distributed Systems","acronym":"RELDIS-03","location":"Florence, Italy"},"container-title":["22nd International Symposium on Reliable Distributed Systems, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8774\/27777\/01238069.pdf?arnumber=1238069","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T00:05:28Z","timestamp":1497571528000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1238069\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/reldis.2003.1238069","relation":{},"subject":[]}}