{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T18:14:03Z","timestamp":1781892843446,"version":"3.54.5"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005112","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":["The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens"],"prefix":"10.1109","author":[{"given":"Ugo Dal","family":"Lago","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ryo","family":"Tanaka","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Akira","family":"Yoshimizu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref38","first-page":"151","article-title":"From pi-calculus to higher-order pi-calculus - and back","author":"sangiorgi","year":"1993","journal-title":"Proceedings of TAPSOFT 1993 volume 668 of LNCS"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129516000402"},{"key":"ref32","author":"mazza","year":"2006","journal-title":"Interaction Nets Semantics and Concurrent Extensions"},{"key":"ref31","first-page":"21","article-title":"Multiport interactionnets and concurrency","author":"mazza","year":"2005","journal-title":"CONCUR 2005 volume 3653 of LNCS"},{"key":"ref30","first-page":"198","article-title":"The geometry of interactionmachine","author":"mackie","year":"1995","journal-title":"Proceedings of POPL 1995"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.13"},{"key":"ref36","article-title":"Communication with automata","author":"petri","year":"1966","journal-title":"Technical Report RADC-TR-65-377"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837672"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28644-8_29"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.58"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009859"},{"key":"ref12","author":"lago","year":"2016","journal-title":"The geometry of concurrent interaction (long version)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00049-3"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2008.23"},{"key":"ref15","first-page":"197","article-title":"A hierarchy of expressiveness in concurrent interactionnets","author":"dorman","year":"2013","journal-title":"Proc of CONCUR 2013 volume 8052 of LNCS"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004645"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2009.06.005"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.06.060"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2013.63"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80965-4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1999.782638"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2643"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2930"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90185-I"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96711"},{"key":"ref5","author":"alexiev","year":"1999","journal-title":"Non-deterministic interactionnets"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.34"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.002"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36576-1_1"},{"key":"ref9","first-page":"35:1","article-title":"The geometry of synchronization","author":"lago","year":"2014","journal-title":"Prof of CSL-LICS 2014"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1998.705669"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190269"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.08.018"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24727-2_16"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1992.185535"},{"key":"ref23","first-page":"221","article-title":"Geometry of interaction1: Interpretation of system F.","author":"girard","year":"1989","journal-title":"Proc of Logic Colloquium 1988 volume 127 of Studies in Logic and the Foundations of Mathematics"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2917"},{"key":"ref25","first-page":"52:1","article-title":"Memoryful geometry of interaction from coalgebraic components to algebraic effects","author":"hoshino","year":"2014","journal-title":"Prof of CSL-LICS 2014"}],"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\/08005112.pdf?arnumber=8005112","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,30]],"date-time":"2017-08-30T04:30:21Z","timestamp":1504067421000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005112\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005112","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}