Typed ψ-calculi

DOI10.1007/978-3-642-23217-6_18MaRDI QIDQ3090835zbMATH OpenOpenAlexFDO

Authors Hans Hüttel

Publication date 2 September 2011

Published in CONCUR 2011 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-23217-6_18

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 4061194
• scientific article; zbMATH DE number 4037857
• Types for resources in \(\psi\)-calculi
• Membrane Computing
• A typed, algebraic, computational lambda-calculus
• scientific article; zbMATH DE number 1372678
• A generic type system for the \(\pi\)-calculus
• Semantics of a typed algebraic lambda-calculus
• Typed λ-calculus with recursive definitions
• Psi-calculi in Isabelle

Cites work

• scientific article; zbMATH DE number 954809 (Why is no real title available?)
• scientific article; zbMATH DE number 2059568 (Why is no real title available?)
• A Hybrid Type System for Lock-Freedom of Mobile Processes
• A generic type system for the pi-calculus
• Ensuring termination by typability
• Explicit fusions
• Mobile ambients
• Nominal (universal) algebra: equational logic with names and binding
• Programming Languages and Systems
• Psi-calculi: a framework for mobile processes with nominal data and logic
• Secrecy by typing in security protocols
• Secrecy types for asymmetric communication.
• The Space and Motion of Communicating Agents
• The \(\pi\)-calculus: A theory of mobile processes
• The name discipline of uniform receptiveness
• Trust and partial typing in open systems of mobile agents

Cited in

(8)

• Declarative event based models of concurrency and refinement in psi-calculi
• Name-passing calculi: from fusions to preorders and types
• Binary session types for psi-calculi
• A generic type system for higher-order \(\Psi\)-calculi
• A generic type system for higher-order \(\Psi\)-calculi
• XPi: a typed process calculus for XML messaging
• Types for resources in \(\psi\)-calculi
• A sorted semantic framework for applied process calculi (extended abstract)

This page was built for publication: Typed ψ-calculi

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