Type Inference for Correspondence Types

DOI10.1016/J.ENTCS.2009.07.079MaRDI QIDQ5170185zbMATH OpenOpenAlexFDO

Authors Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen

Publication date 22 July 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.07.079

zbMATH Keywords

\(\pi\)-calculuscorrespondence assertionstype inference

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Type inference for pure type systems
• Type inference in mathematics
• Type inference in polymorphic type discipline
• scientific article; zbMATH DE number 3930968
• Type inference with partial types
• scientific article; zbMATH DE number 4058828
• Type inference for set theory
• On type inference in the intersection type discipline
• Type inference with non-structural subtyping
• A Rewriting Semantics for Type Inference

Cites work

• A calculus for cryptographic protocols: The spi calculus
• CONCUR 2005 – Concurrency Theory
• Cryptographic analysis in cubic time
• scientific article; zbMATH DE number 2143089 (Why is no real title available?)
• scientific article; zbMATH DE number 1860683 (Why is no real title available?)
• Performance evaluation of security protocols specified in LySa
• Polarized name passing
• Programming Languages and Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Type-Based Verification of Correspondence Assertions for Communication Protocols

Cited in

(4)

• Threshold voting leads to type-revelation
• Type inference for a distributed \(\pi\)-calculus
• Principal type inference for GADTs
• Automated type-based analysis of injective agreement in the presence of compromised principals

Describes a project that uses

Uses Software

• Succinct

This page was built for publication: Type Inference for Correspondence Types

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