Poset Properties of Complex Traces

@inproceedings{Gastin1992PosetPO,
  title={Poset Properties of Complex Traces},
  author={Paul Gastin and Antoine Petit},
  booktitle={MFCS},
  year={1992}
}