Polarized name passing

DOI10.1007/3-540-60692-0_58MaRDI QIDQ2956693zbMATH OpenOpenAlexFDO

Authors Martin Odersky

Publication date 19 January 2017

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

Full work available at URL https://doi.org/10.1007/3-540-60692-0_58

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 1223739
• On asynchrony in name-passing calculi
• Symmetries and Dualities in Name-Passing Process Calculi
• Algebraic theories for name-passing calculi
• scientific article; zbMATH DE number 1512621

Cited in

(8)

• An interpretation of typed objects into typed -calculus
• Secrecy and group creation
• Decoding choice encodings
• The name discipline of uniform receptiveness
• Polarized process algebra with reactive composition
• scientific article; zbMATH DE number 1512621 (Why is no real title available?)
• Type Inference for Correspondence Types
• Models for name-passing processes: Interleaving and causal

This page was built for publication: Polarized name passing

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