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

Cached

Download Links

by Falk Bartels
Citations:38 - 0 self