Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies

Nathan Bowler, Paul Blain Levy, Gordon D. Plotkin. Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies. Electronic Notes in Theoretical Computer Science, 341:23-44, 2018. [doi]

No reviews for this publication, yet.