{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:18:57Z","timestamp":1729660737385,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/nca.2004.1347787","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T11:28:24Z","timestamp":1099913304000},"page":"281-286","source":"Crossref","is-referenced-by-count":3,"title":["Towards flexible finite-state-machine-based protocol composition"],"prefix":"10.1109","author":[{"given":"R.","family":"Ekwall","sequence":"first","affiliation":[]},{"given":"S.","family":"Mena","sequence":"additional","affiliation":[]},{"given":"S.","family":"Pleisch","sequence":"additional","affiliation":[]},{"given":"A.","family":"Schiper","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","article-title":"CTP: A configurable and extensible transport protocol","author":"wong","year":"2001","journal-title":"Proceedings of the 20th Annual Conference of IEEE Communications and Computer Societies (INFOCOM 2001)"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/2.53352"},{"key":"14","article-title":"SAMOA: Framework for synchronization augmented microprotocol approach","author":"wojciechowski","year":"2004","journal-title":"Proc of Int Parallel and Distributed Processing Symposium (IPDPS'04)"},{"key":"11","article-title":"Appia vs. cactus","author":"mena","year":"2003","journal-title":"Proc of 22th IEEE Symposium on Reliable Distributed Systems (SRDS'03)"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSC.2001.919005"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/503112.503113"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/226643.226647"},{"key":"1","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1145\/217391.217424","article-title":"A system for constructing configurable high-level protocols","author":"bhatti","year":"1995","journal-title":"SIGCOMM"},{"key":"10","first-page":"119","article-title":"Specifications and proofs for ensemble Layers","volume":"1579","author":"hickey","year":"1999","journal-title":"LNCS"},{"journal-title":"Transaction Processing Concepts and Techniques","year":"1993","author":"gray","key":"7"},{"journal-title":"Design Patterns","year":"1995","author":"gamma","key":"6"},{"journal-title":"SDL Formal Object-Oriented Language for Communicating Systems","year":"1997","author":"ellsberger","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/NCA.2004.1347787"},{"key":"9","article-title":"The ensemble system","volume":"tr98 1662","author":"hayden","year":"1998","journal-title":"Technical Report"},{"key":"8","article-title":"Fault-tolerant broadcasts and related problems","volume":"94","author":"hadzilacos","year":"1994","journal-title":"Technical Report"}],"event":{"name":"Third IEEE International Symposium on Network Computing and Applications, 2004. (NCA 2004). Proceedings.","location":"Boston, MA, USA"},"container-title":["Third IEEE International Symposium on Network Computing and Applications, 2004. (NCA 2004). Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9330\/29641\/01347787.pdf?arnumber=1347787","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:38:31Z","timestamp":1497598711000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1347787\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/nca.2004.1347787","relation":{},"subject":[]}}