{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T14:45:24Z","timestamp":1729608324922,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/spdp.1994.346159","type":"proceedings-article","created":{"date-parts":[[2002,12,17]],"date-time":"2002-12-17T09:36:54Z","timestamp":1040117814000},"page":"257-264","source":"Crossref","is-referenced-by-count":5,"title":["Synchronization expressions and languages"],"prefix":"10.1109","author":[{"given":"L.","family":"Guo","sequence":"first","affiliation":[]},{"given":"K.","family":"Salomaa","sequence":"additional","affiliation":[]},{"given":"S.","family":"Yu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1991.170171"},{"journal-title":"Synchronization Expressions and Languages","year":"1993","author":"guo","key":"ref11"},{"journal-title":"Algebraic Theory of Processes","year":"1989","author":"hennessy","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/957195.808062"},{"journal-title":"Lecture Notes In Computer Science 255","year":"1986","author":"mazurkiewicz","key":"ref15"},{"key":"ref16","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume":"92","author":"milner","year":"1980","journal-title":"Lecture Notes in Computer Science"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90114-7"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90088-X"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624193"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/828.833"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17660-8_52"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/322234.322243"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BFb0029355","volume":"16","author":"campbell","year":"1974","journal-title":"Lecture Notes in Computer Science"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567774"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90051-5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1080\/00207169008803893"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1145\/356698.356702","article-title":"Petri Nets","volume":"9","author":"peterson","year":"1977","journal-title":"Computing Survey"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90022-A"},{"journal-title":"Petri Net Theory and the Modeling of Systems","year":"1981","author":"peterson","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)00011-F"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90021-X"}],"event":{"name":"1994 6th IEEE Symposium on Parallel and Distributed Processing","acronym":"SPDP-94","location":"Dallas, TX, USA"},"container-title":["Proceedings of 1994 6th IEEE Symposium on Parallel and Distributed Processing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx2\/999\/8037\/00346159.pdf?arnumber=346159","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T12:26:44Z","timestamp":1497529604000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/346159\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/spdp.1994.346159","relation":{},"subject":[]}}