Steps and Traces

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-00389-0_8 ◽

2018 ◽

pp. 122-143 ◽

Cited By ~ 1

Author(s):

Bart Jacobs ◽

Paul Levy ◽

Jurriaan Rot

Download Full-text