[ .ps ]

@INPROCEEDINGS{KakkarHMG99,
  AUTHOR = {Pankaj Kakkar and Michael Hicks and Jonathan T. Moore and
                 Carl A. Gunter},
  TITLE = {Specifying the {PLAN} Network Programming Language},
  YEAR = 2000,
  VOLUME = 26,
  SERIES = {Electronic Notes in Theoretical Computer Science},
  BOOKTITLE = {Higher Order Operational Techniques in Semantics (HOOTS)},
  PUBLISHER = {Elsevier},
  MONTH = {September}
}

Back