Full abstraction for polymorphic -calculus

DOI10.1016/J.TCS.2007.09.020MaRDI QIDQ2474052zbMATH OpenOpenAlexFDO

Authors Alan Jeffrey, Julian Rathke

Publication date 5 March 2008

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

Full work available at URL https://doi.org/10.1016/j.tcs.2007.09.020

Mathematics Subject Classification ID

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

Recommendations

• Foundations of Software Science and Computational Structures
• A fully abstract model for the \(\pi\)-calculus.
• Types and full abstraction for polyadic -calculus
• A fully abstract denotational semantics for the \(\pi\)-calculus
• Genericity and the \(\pi\)-calculus

Cites work

• A bisimulation for type abstraction and recursion
• A calculus of mobile agents
• A calculus of mobile processes. II
• A hierarchy of equivalences for asynchronous calculi
• A new type assignment for λ-terms
• A Theory of Communicating Sequential Processes
• Barbed bisimulation
• Behavioral equivalence in the polymorphic pi-calculus
• Contextual equivalence for higher-order -calculus revisited
• Fully abstract models of typed \(\lambda\)-calculi
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1956508 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• LCF considered as a programming language
• On reduction-based process semantics
• Parametric polymorphism and operational equivalence
• Resource access control in systems of mobile agents
• The -calculus: A theory of mobile processes
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Theories of Programming Languages

Cited in

(14)

• A fully abstract model for the \(\pi\)-calculus.
• A fully abstract denotational semantics for the \(\pi\)-calculus
• The abstract variable-binding calculus
• Types and full abstraction for polyadic -calculus
• Polymorphic Abstract Syntax via Grothendieck Construction
• Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
• Full abstraction, totality and PCF
• scientific article; zbMATH DE number 1479607 (Why is no real title available?)
• Full Abstraction and the Context Lemma
• Full abstraction and the Context Lemma (preliminary report)
• An intensionally fully-abstract sheaf model for \(\pi\)
• Full Abstraction for Linda
• Foundations of Software Science and Computational Structures
• Automata, Languages and Programming

This page was built for publication: Full abstraction for polymorphic \(\pi \)-calculus

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