Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach.

Harald Knig, Uwe Wolter

Browse the full TASE paper archive.