Coalgebras for modelling observable behaviour of programs
William Steingartner, Valerie Novitzká · Journal of Applied Mathematics and Computational Mechanics · 2017
Journal of Applied Mathematics and Computational Mechanics, Prace Naukowe Instytutu Matematyki i Informatyki, Politechnika Częstochowska, Scientific Research of the Institute of Mathematics and Computer Science, Czestochowa University of Technology