{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:42:08Z","timestamp":1725511328475},"reference-count":22,"publisher":"IEEE Comnput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/infcom.1993.253293","type":"proceedings-article","created":{"date-parts":[[2002,12,31]],"date-time":"2002-12-31T00:12:50Z","timestamp":1041293570000},"page":"766-773","source":"Crossref","is-referenced-by-count":4,"title":["Concurrency model and its application to formal protocol specifications"],"prefix":"10.1109","author":[{"given":"M.C.","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.T.","family":"Chanson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.T.","family":"Vuong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Estelle - A Formal Description Technique Based on An Extended State Transition Model","year":"0","key":"ref10"},{"journal-title":"LOTOS - A formal description technique based on the temporal ordering of observational behavior","year":"0","key":"ref11"},{"journal-title":"Trace Analysis of Protocols based on Formal Concurrent Specifications","year":"1992","author":"kim","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380180406"},{"key":"ref15","first-page":"215","author":"mattern","year":"1989","journal-title":"Parallel and Distributed Algorithms"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/76894.76897"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","author":"milner","year":"1980","journal-title":"A Calculus of Communicating Systems"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54004"},{"key":"ref19","first-page":"285","article-title":"The Shortest Path Through a Maze","author":"moore","year":"1959","journal-title":"Proc Internat Symp Switching Th 1957"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/109625.109641"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/381837.381846"},{"key":"ref6","first-page":"335","author":"dembinski","year":"1989","journal-title":"Specification Language Estelle The Formal Description Technique Estelle"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/3-540-51687-5_31","article-title":"Combinatorics and Geometry of Consistent Cuts: Applications to Concurrency Theory","author":"charron-bost","year":"1989","journal-title":"The 3rd Internationa] Workshop of Distributed Algorithms"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/2.84874"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69962-7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(87)90085-7"},{"journal-title":"Reference Manual for the Ada Programming Language","year":"1983","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1985.230351"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/68210.69237"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/32.6195"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/382256.382803"}],"event":{"name":"IEEE INFOCOM '93 The Conference on Computer Communications","location":"San Francisco, CA, USA"},"container-title":["IEEE INFOCOM '93 The Conference on Computer Communications, Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx2\/457\/6457\/00253293.pdf?arnumber=253293","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T17:08:17Z","timestamp":1497546497000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/253293\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/infcom.1993.253293","relation":{},"subject":[]}}