Publications

2 results for Wan Fokkink

Precongruence formats for decorated trace semantics
- - Bard Bloom
  - Wan Fokkink
  - et al.
- 2004
- ACM TOCL
Precongruence formats for decorated trace preorders
- - Bard Bloom
  - Wan Fokkink
  - et al.
- 2000
- Proceedings - Symposium on Logic in Computer Science