2009
Coalgebraic Weak Bisimulation for Action-Type Systems
Publication
Publication
Scientific Annals of Computer Science , Volume 19 p. 93- 144
Additional Metadata | |
---|---|
Scientific Annals of Computer Science | |
Organisation | Visualization and 3D User Interfaces |
Sokolova, A., de Vink, E., & Woracek, H. (2009). Coalgebraic Weak Bisimulation for Action-Type Systems. Scientific Annals of Computer Science, 19, 93–144. |