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. |
|