Object-oriented hybrid systems of coalgebras plus monoid actions (1101)

by B Jacobs
Venue:Algebraic Methodology and Software Technology (AMAST