{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T03:02:24Z","timestamp":1722913344239},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/etfa.2005.1612616","type":"proceedings-article","created":{"date-parts":[[2006,4,6]],"date-time":"2006-04-06T20:21:22Z","timestamp":1144354882000},"page":"865-872","source":"Crossref","is-referenced-by-count":0,"title":["An Approach to Modelling and Analysis of Coordinated Atomic Actions"],"prefix":"10.1109","volume":"1","author":[{"given":"S.","family":"Veloudis","sequence":"first","affiliation":[]},{"given":"N.","family":"Nissanke","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1999.781035"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022997110855"},{"key":"15","article-title":"Concurrent and Real-time Systems, The CSP Approach","author":"schneider","year":"2000","journal-title":"Worldwide Series in Computer Science by David Barron and Peter Wegner"},{"journal-title":"A Formal Approach to Modelling Real-Time Critical Systems","year":"2004","author":"veloudis","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90167-8"},{"journal-title":"Correctness and Communication in Real-Time Systems","year":"1990","author":"schneider","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/BF02259751"},{"article-title":"Coordinated atomic actions: Formal model, case study and system implementation","year":"1998","author":"randell","key":"12"},{"article-title":"Formal verification of CAA-based designs: The fault-tolerant production cell","year":"1998","author":"canver","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312984"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/43.3.191"},{"year":"0","key":"10"},{"journal-title":"Real-Time Systems Design Princples for Distributed Embedded Applications","year":"1997","author":"kopetz","key":"7"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"6"},{"article-title":"Exception handling in a cooperative object-oriented approach","year":"1998","author":"de lemos","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1993.627342"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211393"},{"article-title":"The ERT model of fault-tolerant computing and its application to the formalisation of coordinated atomic actions","year":"1998","author":"koutny","key":"8"}],"event":{"name":"2005 IEEE Conference on Emerging Technologies and Factory Automation","location":"Catania, Italy"},"container-title":["2005 IEEE Conference on Emerging Technologies and Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10734\/33857\/01612616.pdf?arnumber=1612616","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T14:06:21Z","timestamp":1489500381000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1612616\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/etfa.2005.1612616","relation":{},"subject":[]}}