TY  - RPRT
TI  - Precongruence Formats for Decorated Trace Semantics
AU  - B. Bloom
AU  - W. J. Fokkink
AU  - R. J. van Glabbeek
PY  - 2002
UR  - https://arxiv.org/abs/cs/0204039
ID  - cs/0204039
ER  -