{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:26:06Z","timestamp":1750220766564,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,1,20]],"date-time":"2020-01-20T00:00:00Z","timestamp":1579478400000},"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":[[2020,1,20]]},"DOI":"10.1145\/3372884.3373161","type":"proceedings-article","created":{"date-parts":[[2019,12,20]],"date-time":"2019-12-20T19:45:32Z","timestamp":1576871132000},"page":"14-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Symbolic bisimulation for open and parameterized systems"],"prefix":"10.1145","author":[{"given":"Zechen","family":"Hou","sequence":"first","affiliation":[{"name":"East China Normal University, China"}]},{"given":"Eric","family":"Madelaine","sequence":"additional","affiliation":[{"name":"Inria, France"}]}],"member":"320","published-online":{"date-parts":[[2020,1,20]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44685-0_34"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_20"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28644-8_11"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78739-6_20"},{"key":"e_1_3_2_2_5_1","volume-title":"International Conference on Formal Techniques for Networked and Distributed Systems. Springer, 185\u2013200","author":"Calder Muffy","year":"2001","unstructured":"Muffy Calder and Carron Shankland . 2001 . A symbolic semantics and bisimulation for full LOTOS . In International Conference on Formal Techniques for Networked and Distributed Systems. Springer, 185\u2013200 . Muffy Calder and Carron Shankland. 2001. A symbolic semantics and bisimulation for full LOTOS. In International Conference on Formal Techniques for Networked and Distributed Systems. Springer, 185\u2013200."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77050-3_11"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80547-4"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54577-5_30"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2579818"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/PDP.2015.70"},{"volume-title":"36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) (Formal Techniques for Distributed Objects, Components, and Systems)","author":"Henrio Ludovic","key":"e_1_3_2_2_12_1","unstructured":"Ludovic Henrio , Eric Madelaine , and Min Zhang . 2016. A Theory for the Composition of Concurrent Processes . In 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) (Formal Techniques for Distributed Objects, Components, and Systems) , Elvira Albert and Ivan Lanese (Eds.), Vol. LNCS-9688 . Heraklion , Greece , 175\u2013194. https:\/\/hal.inria.fr\/hal-01432917 Ludovic Henrio, Eric Madelaine, and Min Zhang. 2016. A Theory for the Composition of Concurrent Processes. In 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) (Formal Techniques for Distributed Objects, Components, and Systems), Elvira Albert and Ivan Lanese (Eds.), Vol. LNCS-9688. Heraklion, Greece, 175\u2013194. https:\/\/hal.inria.fr\/hal-01432917"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61604-7_47"},{"volume-title":"Formal Description Techniques and Protocol Specification, Testing and Verification","author":"Lin Huimin","key":"e_1_3_2_2_15_1","unstructured":"Huimin Lin . 1998. \u00e2\u0102\u0132On-the-fly instantiation\u00e2\u0102\u0130 of value-passing processes . In Formal Description Techniques and Protocol Specification, Testing and Verification . Springer , 215\u2013230. Huimin Lin. 1998. \u00e2\u0102\u0132On-the-fly instantiation\u00e2\u0102\u0130 of value-passing processes. In Formal Description Techniques and Protocol Specification, Testing and Verification. Springer, 215\u2013230."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11266-9_46"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1137\/0216062"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11901914_35"}],"event":{"name":"POPL '20: 47th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGLOG ACM Special Interest Group on Logic and Computation","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"New Orleans LA USA","acronym":"POPL '20"},"container-title":["Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372884.3373161","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372884.3373161","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:09Z","timestamp":1750200069000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372884.3373161"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,20]]},"references-count":17,"alternative-id":["10.1145\/3372884.3373161","10.1145\/3372884"],"URL":"https:\/\/doi.org\/10.1145\/3372884.3373161","relation":{},"subject":[],"published":{"date-parts":[[2020,1,20]]},"assertion":[{"value":"2020-01-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}