New-HOPLA: a higher-order process language with name generation This paper introduces new-HOPLA, a concise but powerful language for higher-order nondeterministic processes with name generation. Its origins as a meta-language 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 are given of well-known process algebras, including $pi$-calculus, higher-order $pi$-calculus and mobile ambients.
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Hyland, J.M.E.: Elements of a theory of algebraic theories (2014)
- Turner, David; Winskel, Glynn: Nominal domain theory for concurrency (2009)
- Winskel, Glynn; Zappa Nardelli, Francesco: New-HOPLA: a higher-order process language with name generation (2004)