{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:21:50Z","timestamp":1750220510665,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,3,22]],"date-time":"2021-03-22T00:00:00Z","timestamp":1616371200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,3,22]]},"DOI":"10.1145\/3412841.3442048","type":"proceedings-article","created":{"date-parts":[[2021,4,23]],"date-time":"2021-04-23T05:09:16Z","timestamp":1619154556000},"page":"1759-1767","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Embeddings between state and action labeled probabilistic systems"],"prefix":"10.1145","author":[{"given":"Susmoy","family":"Das","sequence":"first","affiliation":[{"name":"Indian Institute of Science Education and Research, Bhopal, India"}]},{"given":"Arpit","family":"Sharma","sequence":"additional","affiliation":[{"name":"Indian Institute of Science Education and Research, Bhopal, India"}]}],"member":"320","published-online":{"date-parts":[[2021,4,22]]},"reference":[{"volume-title":"FORMATS (LNCS 2791)","author":"Andova Suzana","key":"e_1_3_2_1_1_1","unstructured":"Suzana Andova, Holger Hermanns, and Joost-Pieter Katoen. 2003. Discrete-Time Rewards Model-Checked. In FORMATS (LNCS 2791). Springer, 88--104."},{"volume-title":"CAV (LNCS 939)","author":"Aziz Adnan","key":"e_1_3_2_1_2_1","unstructured":"Adnan Aziz, Vigyan Singhal, and Felice Balarin. 1995. It Usually Works: The Temporal Logic of Stochastic Systems. In CAV (LNCS 939). Springer, 155--165."},{"key":"e_1_3_2_1_3_1","first-page":"234","article-title":"Axiomatizing Probabilistic Processes","volume":"121","author":"Baeten Jos C. M.","year":"1995","unstructured":"Jos C. M. Baeten, Jan A. Bergstra, and Scott A. Smolka. 1995. Axiomatizing Probabilistic Processes: ACP with Generative Probabilities. Inf. Comput. 121, 2 (1995), 234--255.","journal-title":"ACP with Generative Probabilities. Inf. Comput."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205180"},{"volume-title":"CAV (LNCS 1254)","author":"Baier Christel","key":"e_1_3_2_1_5_1","unstructured":"Christel Baier and Holger Hermanns. 1997. Weak Bisimulation for Fully Probabilistic Processes. In CAV (LNCS 1254). Springer, 119--130."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.078"},{"volume-title":"Principles of Model Checking","author":"Baier C.","key":"e_1_3_2_1_7_1","unstructured":"C. Baier and J.-P. Katoen. 2008. Principles of Model Checking. MIT Press."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.03.001"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Peter Buchholz. 1994. Exact and Ordinary Lumpability in Finite Markov Chains. J. of Appl. Prob. (1994) 59--75.","DOI":"10.1017\/S0021900200107338"},{"key":"e_1_3_2_1_10_1","volume-title":"Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, and Tim A. C. Willemse.","author":"Bunte Olav","year":"2019","unstructured":"Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, and Tim A. C. Willemse. 2019. The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. In TACAS (LNCS 11428). Springer, 21--39."},{"volume-title":"CAV (LNCS 10427)","author":"Dehnert Christian","key":"e_1_3_2_1_11_1","unstructured":"Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, and Matthias Volk. 2017. A Storm is Coming: A Modern Probabilistic Model Checker. In CAV (LNCS 10427). Springer, 592--600."},{"key":"e_1_3_2_1_13_1","volume-title":"CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. In TACAS","volume":"6605","author":"Garavel Hubert","year":"2011","unstructured":"Hubert Garavel, Fr\u00e9d\u00e9ric Lang, Radu Mateescu, and Wendelin Serwe. 2011. CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. In TACAS, Vol. 6605. Springer, 372--387."},{"volume-title":"A Calculus for Communicating Systems with Time and Probabitilies","author":"Hansson Hans","key":"e_1_3_2_1_14_1","unstructured":"Hans Hansson and Bengt Jonsson. 1990. A Calculus for Communicating Systems with Time and Probabitilies. In RTSS. IEEE Computer Society, 278--287."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"volume-title":"A Compositional Approach to Performance Modelling","author":"Hillston Jane","key":"e_1_3_2_1_16_1","unstructured":"Jane Hillston. 1996. A Compositional Approach to Performance Modelling. Cambridge University Press."},{"volume-title":"Specification and Refinement of Probabilistic Processes","author":"Jonsson Bengt","key":"e_1_3_2_1_17_1","unstructured":"Bengt Jonsson and Kim Guldstrand Larsen. 1991. Specification and Refinement of Probabilistic Processes. In LICS. IEEE Computer Society, 266--277."},{"key":"e_1_3_2_1_18_1","volume-title":"Smolka","author":"Jou Chi-Chang","year":"1990","unstructured":"Chi-Chang Jou and Scott A. Smolka. 1990. Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes. In CONCUR (LNCS 458). Springer, 367--383."},{"key":"e_1_3_2_1_19_1","volume-title":"Jansen","author":"Katoen Joost-Pieter","year":"2007","unstructured":"Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, and David N. Jansen. 2007. Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking. In TACAS, Vol. 4424. Springer, 87--101."},{"key":"e_1_3_2_1_20_1","volume-title":"Zapreev","author":"Katoen Joost-Pieter","year":"2005","unstructured":"Joost-Pieter Katoen, Maneesh Khattri, and Ivan S. Zapreev. 2005. A Markov Reward Model Checker. In QEST. IEEE Computer Society, 243--244."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2012.03.007"},{"volume-title":"Denumerable Markov chains","author":"Kemeny John G.","key":"e_1_3_2_1_22_1","unstructured":"John G. Kemeny and J. Laurie Snell. 1976. Denumerable Markov chains. Springer-Verlag, New York."},{"key":"e_1_3_2_1_23_1","volume-title":"James Laurie Snell, et al","author":"Kemeny John G","year":"1960","unstructured":"John G Kemeny, James Laurie Snell, et al. 1960. Finite Markov chains. Vol. 356. van Nostrand Princeton, NJ."},{"volume-title":"CAV (LNCS 4144)","author":"Kwiatkowska Marta Z.","key":"e_1_3_2_1_24_1","unstructured":"Marta Z. Kwiatkowska, Gethin Norman, and David Parker. 2006. Symmetry Reduction for Probabilistic Model Checking. In CAV (LNCS 4144). Springer, 234--248."},{"volume-title":"CAV (LNCS 6806)","author":"Kwiatkowska Marta Z.","key":"e_1_3_2_1_25_1","unstructured":"Marta Z. Kwiatkowska, Gethin Norman, and David Parker. 2011. PRISM 4.0: Verification of Probabilistic Real-Time Systems. In CAV (LNCS 6806). Springer, 585--591."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90030-6"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00171-E"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/190.191"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211557"},{"key":"e_1_3_2_1_30_1","volume-title":"Vaandrager","author":"Nicola Rocco De","year":"1990","unstructured":"Rocco De Nicola and Frits W. Vaandrager. 1990. Action versus State based Logics for Transition Systems. In Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23--27, 1990, Proceedings (LNCS 469), Ir\u00e8ne Guessarian (Ed.). Springer, 407--419."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/201019.201032"},{"key":"e_1_3_2_1_32_1","first-page":"73","article-title":"Results on Embeddings Between State-Based and Event-Based","volume":"57","author":"Reniers Michel A.","year":"2014","unstructured":"Michel A. Reniers, Rob Schoren, and Tim A. C. Willemse. 2014. Results on Embeddings Between State-Based and Event-Based Systems. Comput. J. 57, 1 (2014), 73--92.","journal-title":"Systems. Comput. J."},{"key":"e_1_3_2_1_33_1","volume-title":"Willemse","author":"Reniers Michel A.","year":"2011","unstructured":"Michel A. Reniers and Tim A. C. Willemse. 2011. Folk Theorems on the Correspondence between State-Based and Event-Based Systems. In SOFSEM (LNCS 6543). Springer, 494--505."},{"volume-title":"MMB&DFT (LNCS 7201)","author":"Sharma Arpit","key":"e_1_3_2_1_34_1","unstructured":"Arpit Sharma. 2012. Weighted Probabilistic Equivalence Preserves \u03c9-Regular Properties. In MMB&DFT (LNCS 7201). Springer, 121--135."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.74"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1123"},{"key":"e_1_3_2_1_37_1","volume-title":"Jansen","author":"Zhang Lijun","year":"2007","unstructured":"Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, and David N. Jansen. 2007. Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. In TACAS (LNCS 4424). Springer, 155--169."}],"event":{"name":"SAC '21: The 36th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Virtual Event Republic of Korea","acronym":"SAC '21"},"container-title":["Proceedings of the 36th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412841.3442048","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3412841.3442048","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:25Z","timestamp":1750195465000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412841.3442048"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,3,22]]},"references-count":36,"alternative-id":["10.1145\/3412841.3442048","10.1145\/3412841"],"URL":"https:\/\/doi.org\/10.1145\/3412841.3442048","relation":{},"subject":[],"published":{"date-parts":[[2021,3,22]]},"assertion":[{"value":"2021-04-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}