{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T22:29:04Z","timestamp":1791412144690,"version":"4.3.3"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005135","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T20:43:24Z","timestamp":1502397804000},"page":"1-12","source":"Crossref","is-referenced-by-count":3,"title":["Domains and event structures for fusions"],"prefix":"10.1109","author":[{"given":"Paolo","family":"Baldan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Corradini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fabio","family":"Gadducci","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934536"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19488-2_2"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1142\/9789812384720_0003"},{"key":"ref14","first-page":"159","article-title":"Optimal reductions in the lambda-calculus","author":"l\u00e9vy","year":"1980","journal-title":"To H B Curry Essays on combinatory logic lambda calculus and formalism"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17906-2_31"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28729-9_15"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1017\/S096012950700610X"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38986-3_12"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18771-5_40"},{"key":"ref28","article-title":"Domaines concretes","author":"kahn","year":"1978","journal-title":"INRIA Paris Tech Rep 336"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57787-4_21"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/11817949_19"},{"key":"ref3","author":"baldan","year":"2000","journal-title":"Modelling Concurrent Computations From Contextual Petri Nets to Graph Grammars"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.01.024"},{"key":"ref5","article-title":"Event structure semantics for CCS and related languages","author":"winskel","year":"1983","journal-title":"University of Aarhus Tech Rep DAIMI PB-159"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxp052"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/11817949_20"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1142\/9789812814951_0003"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837616"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"ref20","author":"winskel","year":"1980","journal-title":"Events in Computation"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61228-9_91"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(89)90117-5"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050064"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","article-title":"Graph processes","volume":"26","author":"corradini","year":"1996","journal-title":"Fundamenta Informaticae"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.014"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90090-G"}],"event":{"name":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Reykjavik, Iceland","start":{"date-parts":[[2017,6,20]]},"end":{"date-parts":[[2017,6,23]]}},"container-title":["2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7999337\/8005055\/08005135.pdf?arnumber=8005135","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T21:13:46Z","timestamp":1602710026000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005135\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005135","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}