Department of Computer Science and Technology

Technical reports

new-HOPLA — a higher-order process language with name generation

Glynn Winskel, Francesco Zappa Nardelli

May 2004, 16 pages


This paper introduces new-HOPLA, a concise but powerful language for higher-order nondeterministic processes with name generation. Its origins as a metalanguage for domain theory are sketched but for the most part the paper concentrates on its operational semantics. The language is typed, the type of a process describing the shape of the computation paths it can perform. Its transition semantics, bisimulation, congruence properties and expressive power are explored. Encodings of π-calculus and HOπ are presented.

Full text

PDF (0.3 MB)

BibTeX record

  author =	 {Winskel, Glynn and Nardelli, Francesco Zappa},
  title = 	 {{new-HOPLA --- a higher-order process language with name
  year = 	 2004,
  month = 	 may,
  url = 	 {},
  institution =  {University of Cambridge, Computer Laboratory},
  number = 	 {UCAM-CL-TR-589}