Fully abstract models for a process language with refinement

@inproceedings{Nielsen1988FullyAM,
  title={Fully abstract models for a process language with refinement},
  author={Mogens Nielsen and Uffe Engberg and Kim S. Larsen},
  booktitle={REX Workshop},
  year={1988}
}