@inproceedings{Pra93_CSN93,
  author       = {Prasetya, I.S.W.B.},
  editor       = {Wijshoff, H.A.},
  year         = 1993,
  title        = {Variable Access Constraints and Compositionality of Liveness Properties},
  booktitle    = {Proceedings of Computing Science in the Netherlands 93},
  pages        = {12-23},
  note         = {Best paper award},
  publisher    = {Stichting Matematisch Centrum},
  organization = {SION},
  pubcat       = {inproceedings},
}