Login / Signup

A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation.

Toby Wilkinson
Published in: MFPS (2012)
Keyphrases