Full abstraction for HOPLA.

DOI10.1007/B11938MaRDI QIDQ5900578zbMATH OpenOpenAlexFDO

Authors Mikkel Nygaard, Glynn Winskel

Publication date 30 March 2010

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

Full work available at URL https://doi.org/10.1007/b11938

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1927578
• A fully abstract denotational model for higher-order processes
• scientific article; zbMATH DE number 3976319
• Full abstraction for a shared-variable parallel language
• A fully abstract denotational semantics for the calculus of higher-order communicating systems

Cited in

(5)

• A fully abstract denotational model for higher-order processes
• Domain theory for concurrency
• scientific article; zbMATH DE number 1927578 (Why is no real title available?)
• scientific article; zbMATH DE number 2163043 (Why is no real title available?)
• Full Abstraction for Linda

Describes a project that uses

Uses Software

• HOPLA

This page was built for publication: Full abstraction for HOPLA.

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