scientific article; zbMATH DE number 2163043

MaRDI QIDQ4673430zbMATH OpenFDO

Authors Glynn Winskel, Francesco Zappa Nardelli

Publication date 29 April 2005

Mathematics Subject Classification ID

Distributed systems (68M14) 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
• Full abstraction for HOPLA.
• On the relative expressiveness of higher-order session processes
• On the relative expressiveness of higher-order session processes
• A calculus of mobile processes. I

Cited in

(4)

• New-HOPLA
• Elements of a theory of algebraic theories
• Nominal Domain Theory for Concurrency
• scientific article; zbMATH DE number 1927578 (Why is no real title available?)

Describes a project that uses

Uses Software

• HOPLA

This page was built for publication:

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