On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling (2004)

Cached

Download Links

by Falk Bartels
Citations:39 - 0 self