Typed ψ-calculi
From MaRDI portal
Publication:3090835
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)