Open AccessNew-HOPLA--A Higher-Order Process Language with Name Generation
Author(s) -
Glynn Winskel,
Francesco Zappa Nardelli
Publication year - 2004
Publication title -
brics report series
Language(s) - English
Resource type - Journals
eISSN - 1601-5355
pISSN - 0909-0878
DOI - 10.7146/brics.v11i21.21846
Subject(s) - bisimulation , nondeterministic algorithm , metalanguage , process calculus , operational semantics , expressive power , computer science , programming language , semantics (computer science) , congruence (geometry) , pi calculus , concurrency , process (computing) , calculus (dental) , theoretical computer science , mathematics , medicine , geometry , dentistry
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 are given of well-known process algebras, including pi-calculus, Higher-Order pi-calculus and Mobile Ambients.