A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum (2009)

by L Monteiro
Venue:In Proc. of WADT, LNCS