{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T23:35:33Z","timestamp":1790811333277,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,21]],"date-time":"2011-09-21T00:00:00Z","timestamp":1316563200000},"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":[[2011,9,21]]},"DOI":"10.1145\/2037509.2037529","type":"proceedings-article","created":{"date-parts":[[2011,9,23]],"date-time":"2011-09-23T15:13:10Z","timestamp":1316790790000},"page":"131-140","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["Reversible structures"],"prefix":"10.1145","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[{"name":"Microsoft Research, Cambridge"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cosimo","family":"Laneve","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Bologna"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,9,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.176.0525"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96717"},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/BFb0013028","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"Boudol G.","year":"1989","unstructured":"G. Boudol and I. Castellani . Permutation of transitions: An event structure semantics for CCS and SCCS . In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency , volume 354 of Lecture Notes in Computer Science , pages 411 -- 427 . Springer , 1989 . G. Boudol and I. Castellani. Permutation of transitions: An event structure semantics for CCS and SCCS. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, volume 354 of Lecture Notes in Computer Science, pages 411--427. Springer, 1989."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10604-0_2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.26.5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/800113.803630"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28644-8_19"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/77350.77369"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1021\/j100540a008"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1887654.1887687"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(76)90009-8"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(82)90048-2"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1098\/rsif.2009.0072.focus"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.08.018"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2006.11.002"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0909380107"}],"event":{"name":"CMSB'11: 9th International Conference on Computational Methods in Systems Biology","location":"Paris France","acronym":"CMSB'11","sponsor":["TCSIM IEEE Computer Society Technical Committee on Simulation","University Henri-Poincare University Henri-Poincare - France","NVIDIA","CNRS Centre National De La Rechercue Scientifique","Microsoft Research Microsoft Research","SIGBio ACM Special Interest Group on Bioinformatics"]},"container-title":["Proceedings of the 9th International Conference on Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2037509.2037529","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2037509.2037529","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:54:27Z","timestamp":1750240467000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2037509.2037529"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,21]]},"references-count":16,"alternative-id":["10.1145\/2037509.2037529","10.1145\/2037509"],"URL":"https:\/\/doi.org\/10.1145\/2037509.2037529","relation":{},"subject":[],"published":{"date-parts":[[2011,9,21]]},"assertion":[{"value":"2011-09-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}