{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:19Z","timestamp":1761611059780},"reference-count":10,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[1998,5,1]],"date-time":"1998-05-01T00:00:00Z","timestamp":893980800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1998,5]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>We specify the tree identify protocol of the IEEE 1394 high performance serial multimedia bus at three different levels of detail using \u03bcCRL. We use the cones and foci verification technique of Groote and Springintveld to show that the descriptions are equivalent under branching bisimulation, thereby demonstrating that the protocol behaves as expected.<\/jats:p>","DOI":"10.1007\/s001650050030","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T07:30:30Z","timestamp":1030260630000},"page":"509-531","source":"Crossref","is-referenced-by-count":20,"title":["The Tree Identify Protocol of IEEE 1394 in \u03bcCRL"],"prefix":"10.1145","volume":"10","author":[{"given":"Carron","family":"Shankland","sequence":"first","affiliation":[{"name":"Department of Computing Science and Mathematics, University of Stirling, Stirling, UK, , , , , , UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"van der Zwaag","sequence":"additional","affiliation":[{"name":"CWI, Amsterdam, The Netherlands, , , , , , NL"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"p_1","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Process Algebra","author":"Ba","year":"1990"},{"key":"p_2","volume-title":"Verification of a leader election protocol - formal methods applied to IEEE 1394. Technical report","author":"Devillers M. C. A.","year":"1997"},{"key":"p_3","first-page":"437","volume-title":"Proceedings of CAV'96, number 1102 in LNCS","author":"Fernandez J.-C.","year":"1996"},{"issue":"2","key":"p_4","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/S0304-3975(96)00256-3","article-title":"Formal verification of a leader election protocol in process algebra","volume":"177","author":"Fredlund L.","year":"1997","journal-title":"Theoretical Computer Science"},{"key":"p_5","first-page":"63","volume-title":"Algebra of Communicating Processes '94, Workshops in Computing","author":"Gr","year":"1995"},{"key":"p_6","volume-title":"editors","author":"Go","year":"1993"},{"issue":"1","key":"p_7","first-page":"171","article-title":"Specification and verification of various distributed leader election algorithms for unidirectional ring networks","volume":"29","author":"Ga","year":"1997","journal-title":"Science of Computer Programming"},{"key":"p_8","volume-title":"Algebra of Communicating Processes '94, Workshops in Computing. Springer-Verlag","author":"Gr","year":"1995"},{"key":"p_12","volume-title":"IEEE Standard for a High Performance Serial Bus. Std","author":"[IEE96] IEEE Computer Society","year":"1995"},{"key":"p_13","first-page":"815","volume-title":"Proceedings of the 11-th International Symposium on Computer and Information Sciences, ISCIS XI Antalya","volume":"2","author":"Ko","year":"1996"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s001650050030.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s001650050030\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s001650050030","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:27:33Z","timestamp":1641482853000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s001650050030"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,5]]},"references-count":10,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1998,5]]}},"alternative-id":["10.1007\/s001650050030"],"URL":"https:\/\/doi.org\/10.1007\/s001650050030","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,5]]}}}