Typed ψ-calculi

DOI10.1007/978-3-642-23217-6_18zbMATH Open1344.68166OpenAlexW86813616MaRDI QIDQ3090835FDOQ3090835

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (8)

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

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)