Kripke Open Bisimulation

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-26529-2_15 ◽

2015 ◽

pp. 271-291 ◽

Cited By ~ 2

Author(s):

Guilhem Jaber ◽

Nicolas Tabareau

Download Full-text