{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T18:00:00Z","timestamp":1730224800316,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hcc.2003.1260217","type":"proceedings-article","created":{"date-parts":[[2004,7,8]],"date-time":"2004-07-08T16:05:44Z","timestamp":1089302744000},"page":"137-144","source":"Crossref","is-referenced-by-count":8,"title":["Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations"],"prefix":"10.1109","author":[{"given":"V.S.W.","family":"Lam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Padget","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/s001659970003"},{"key":"22","first-page":"406","article-title":"Formalization of UML-Statecharts","volume":"2185","author":"von der beeck","year":"2001","journal-title":"LNCS"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/WIFT.1998.766303"},{"key":"23","first-page":"687","article-title":"Equivalences of Statecharts","volume":"1119","author":"maggiolo-schettini","year":"1996","journal-title":"LNCS"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35562-7_25"},{"key":"24","first-page":"46","article-title":"Equivalence Checking of Two Statechart Specifications","author":"park","year":"0","journal-title":"Proceedings of 11th International Workshop on Rapid System Prototyping 2000"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/355045.355062"},{"key":"16","first-page":"983","article-title":"A Translation of Statecharts to Esterel","volume":"1709","author":"seshia","year":"1999","journal-title":"LNCS"},{"key":"13","first-page":"128","article-title":"A Comparison of Statecharts Variants","volume":"863","author":"von der beeck","year":"1994","journal-title":"LNCS"},{"key":"14","first-page":"244","article-title":"What is a Step: On the Semantics of Statecharts","volume":"526","author":"pnueli","year":"1991","journal-title":"LNCS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/42411.42414"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"21","first-page":"127","article-title":"Analyzing UML Active Classes and Associated State Machines - A Lightweight Formal Approach","volume":"1783","author":"reggio","year":"2000","journal-title":"LNCS"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"20","first-page":"430","article-title":"Formalising UML State Machines for Model Checking","volume":"1723","author":"lilius","year":"1999","journal-title":"LNCS"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"journal-title":"The Unified Modeling Language User Guide","year":"1999","author":"booch","key":"1"},{"key":"10","first-page":"68","article-title":"The ?-Calculus: Notes on Labelled Semantics","author":"quaglia","year":"1999","journal-title":"Bulletin of the EATCS"},{"journal-title":"Communicating and Mobile Systems The ?-Calculus","year":"1999","author":"milner","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50026-6"},{"journal-title":"OMG Unified Modeling Language Specification","year":"2001","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"9","first-page":"428","article-title":"The Mobility Workbench: A Tool for the ?-Calculus","volume":"818","author":"victor","year":"1994","journal-title":"LNCS"},{"key":"8","first-page":"127","article-title":"A Theory of Bisimulation for the ?-Calculus","volume":"715","author":"sangiorgi","year":"1993","journal-title":"LNCS"}],"event":{"name":"IEEE Symposium on Human Centric Computing Languages and Environments, 2003. 2003","location":"Auckland, New Zealand"},"container-title":["IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8908\/28166\/01260217.pdf?arnumber=1260217","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T21:39:22Z","timestamp":1489527562000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1260217\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/hcc.2003.1260217","relation":{},"subject":[]}}