{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T22:40:34Z","timestamp":1736635234975,"version":"3.32.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2005.1583138","type":"proceedings-article","created":{"date-parts":[[2006,10,4]],"date-time":"2006-10-04T14:20:03Z","timestamp":1159971603000},"page":"6103-6108","source":"Crossref","is-referenced-by-count":0,"title":["Stochastic semantics for Communicating Piecewise Deterministic Markov Processes"],"prefix":"10.1109","author":[{"given":"S.","family":"Strubbe","sequence":"first","affiliation":[]},{"given":"A.","family":"van der Schaft","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-4483-2"},{"journal-title":"Compositional modelling of stochastic hybrid systems","year":"2005","author":"strubbe","key":"10"},{"key":"1","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1111\/j.2517-6161.1984.tb01308.x","article-title":"Piecewise Deterministic Markov Processes: A general class of non-diffusion stochastic models","volume":"46","author":"davis","year":"1984","journal-title":"J R Statist Soc (B)"},{"year":"0","key":"7"},{"key":"6","first-page":"349","article-title":"Communicating Piecewise Deterministic Markov Processes","author":"strubbe","year":"2003","journal-title":"Preprints Conference on Analysis and Design of Hybrid Systems ADHS 03"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(92)90011-E"},{"key":"4","article-title":"Interactive Markov Chains","volume":"2428","author":"hermanns","year":"2002","journal-title":"ser Lecture Notes in Computer Science"},{"key":"9","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1007\/978-3-540-31954-2_40","article-title":"Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs)","volume":"3414","author":"strubbe","year":"2005","journal-title":"ser Lecture Notes in Computer Science"},{"key":"8","article-title":"Stochastic equivalence of CPDP-automata and Piecewise Deterministic Markov Processes","author":"strubbe","year":"2005","journal-title":"2005 accepted for the IFAC"}],"event":{"name":"44th IEEE Conference on Decision and Control","location":"Seville, Spain"},"container-title":["Proceedings of the 44th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10559\/33412\/01583138.pdf?arnumber=1583138","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T03:33:46Z","timestamp":1736566426000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1583138\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/cdc.2005.1583138","relation":{},"subject":[]}}