Publications

Precongruence formats for decorated trace preorders

• • Bard Bloom
  • Wan Fokkink
  • et al.
• 2000
• Proceedings - Symposium on Logic in Computer Science