{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:40:38Z","timestamp":1730281238341,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE Comput. Sco. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.1991.151649","type":"proceedings-article","created":{"date-parts":[[2002,12,10]],"date-time":"2002-12-10T14:53:10Z","timestamp":1039531990000},"page":"246-255","source":"Crossref","is-referenced-by-count":10,"title":["CCS with priority choice"],"prefix":"10.1109","author":[{"given":"J.","family":"Camilleri","sequence":"first","affiliation":[]},{"given":"G.","family":"Winskel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039069"},{"journal-title":"occam Programming Manual","year":"1984","key":"ref11"},{"year":"0","key":"ref12"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039077"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039078"},{"key":"ref4","first-page":"171","author":"brinksma","year":"1986","journal-title":"Protocol Specification Testing and Verification V"},{"journal-title":"Partial order semantics of priority systems","year":"1990","author":"best","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01379186"},{"journal-title":"Priority in Process Calculi","year":"1990","author":"camilleri","key":"ref5"},{"key":"ref8","first-page":"245","volume":"176","author":"costa","year":"1984","journal-title":"Mathematical Foundations of Computer Science"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1988.5118"},{"journal-title":"Syntax and defining equations for an interrupt mechanism in process algebra","year":"1985","author":"baeten","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0040258"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039065"}],"event":{"name":"Sixth Annual IEEE Symposium on Logic in Computer Science","location":"Amsterdam, Netherlands"},"container-title":["[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx2\/360\/3979\/00151649.pdf?arnumber=151649","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T06:08:06Z","timestamp":1489039686000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/151649\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/lics.1991.151649","relation":{},"subject":[]}}