A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation

Abstract

Semantic Scholar extracted view of "A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation" by Toby Wilkinson

Topics

0 Figures and Tables

    Download Full PDF Version (Non-Commercial Use)