Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach
Book chapter (July 2022)
The most recent citing publications are shown below. View all 31 publications that cite this research output on Dimensions.
Book chapter (July 2022)
Monograph (June 2020)
Article in Journal of Logical and Algebraic Methods in Programming (June 2020)