Object-oriented hybrid systems of coalgebras plus monoid actions

Authors:
Bart Jacobs
Affiliations:
Univ. of Nijmegen, Nijmegen, The Netherlands
Venue:
Theoretical Computer Science
Year:
2000

Citing 0
Cited 2

Exercises in Coalgebraic Specification

Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Exercises in coalgebraic specification

Algebraic and coalgebraic methods in the mathematics of program construction

Quantified Score

Hi-index	5.23

Visualization

Abstract