Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics

Clovis Eberhart, Tom Hirschowitz. Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics. In Filippo Bonchi, Barbara König 0001, editors, 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia. Volume 72 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Authors

Clovis Eberhart

This author has not been identified. Look up 'Clovis Eberhart' in Google

Tom Hirschowitz

This author has not been identified. Look up 'Tom Hirschowitz' in Google