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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom