New-HOPLA swMATH ID: 6992 Software Authors: Winskel, Glynn; Zappa Nardelli, Francesco Description: 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. Homepage: http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-589.pdf Related Software: HOPLA Cited in: 3 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year New-HOPLA: a higher-order process language with name generation. Zbl 1090.68074Winskel, Glynn; Zappa Nardelli, Francesco 2004 Cited by 3 Authors 2 Winskel, Glynn 1 Hyland, J. Martin E. 1 Zappa Nardelli, Francesco Cited in 1 Serial 1 Theoretical Computer Science Cited in 3 Fields 3 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Category theory; homological algebra (18-XX) Citations by Year