A typed prioritized process algebra /
Jeffrey, Alan.
University of Sussex.Computer Science.
Brighton : Computer Science, School of Cognitive and Computing Sciences, University of Sussex,
[1994?]
"December 1993."
Cover title.