From Transitions to Executions

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

10.1007/978-3-642-32784-1_10 ◽

2012 ◽

pp. 170-190

Author(s):

Eleftherios Matsikoudis ◽

Edward A. Lee

Download Full-text