HOPLA -- a higher-order process language

DOI10.1007/3-540-45694-5_29MaRDI QIDQ4484503zbMATH OpenFDO

Authors Mikkel Nygaard, Glynn Winskel

Publication date 12 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2421/24210434.htm

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2163043
• Full abstraction for HOPLA.
• scientific article; zbMATH DE number 1173731
• On the relative expressiveness of higher-order session processes
• Higher-order processes and their models

Cited in

(6)

• Domain theory for concurrency
• HOPLA
• A linear metalanguage for concurrency
• scientific article; zbMATH DE number 1173731 (Why is no real title available?)
• scientific article; zbMATH DE number 2163043 (Why is no real title available?)
• Full abstraction for HOPLA.

This page was built for publication: HOPLA -- a higher-order process language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4484503)