{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:25:33Z","timestamp":1729614333652,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1109\/ipdpsw.2010.5470825","type":"proceedings-article","created":{"date-parts":[[2010,5,28]],"date-time":"2010-05-28T18:25:42Z","timestamp":1275071142000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Modeling and analysis of real -time systems with mutex components"],"prefix":"10.1109","author":[{"given":"Guoqiang","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Xiaojuan Cai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shoji","family":"Yuen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2774"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/3-540-46002-0_9","article-title":"Preemptive Job–Shop Scheduling Using Stopwatch Automata","volume":"2280","author":"abdeddairn","year":"2002","journal-title":"Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems(TACAS'02)"},{"key":"ref12","first-page":"105","article-title":"Suspension Automata: A Decidable Class of Hybrid Automata","volume":"818","author":"mcmanis","year":"1994","journal-title":"Proceedings of the 6th International Conference on Computer Aided Verifica–tion(CAV'94)"},{"key":"ref13","article-title":"On the Expressiveness of Interaction","author":"fu","year":"2009","journal-title":"Theoretical Computer Science"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2007.01.009"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.019"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1045"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2009.12"},{"journal-title":"Communication and Concurrency International Series in Computer Science","year":"1989","author":"milner","key":"ref5"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01794-0","author":"kaynar","year":"2006","journal-title":"The Theory of Timed I\/O Automata"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"UPPAAL in a Nut–shell","volume":"1","author":"larsen","year":"1997","journal-title":"International Journal on Software Tools for Technology Transfer"},{"journal-title":"Real–Time Systems Specification Verification and Analysis","year":"1995","author":"mattai","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1995.495198"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_1"}],"event":{"name":"Distributed Processing, Workshops and Phd Forum (IPDPSW)","start":{"date-parts":[[2010,4,19]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2010,4,23]]}},"container-title":["2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5465895\/5470678\/05470825.pdf?arnumber=5470825","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,27]],"date-time":"2024-03-27T04:10:44Z","timestamp":1711512644000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5470825\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/ipdpsw.2010.5470825","relation":{},"subject":[],"published":{"date-parts":[[2010,4]]}}}