Free-algebra models for the -calculus

DOI10.1016/J.TCS.2007.09.024MaRDI QIDQ2474057zbMATH OpenOpenAlexFDO

Authors Ian Stark

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.024

zbMATH Keywords

computational monadsconcurrencydenotational semanticsLawvere theoriesnominal sets

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) 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.
• scientific article; zbMATH DE number 1086714
• A calculus of mobile processes. I
• scientific article; zbMATH DE number 1296290

Cites work

• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• A category-theoretic characterization of functional completeness
• A fully abstract denotational semantics for the \(\pi\)-calculus
• A fully abstract model for the \(\pi\)-calculus.
• A new approach to abstract syntax with variable binding
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Algebraic operations and generic effects
• An introduction to the -calculus.
• Combining effects: sum and tensor
• Comparing operational models of name-passing process calculi
• Computer Science Logic
• Foundations of Software Science and Computational Structures
• FreshML: programming with binders made simple
• scientific article; zbMATH DE number 3949678 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1058947 (Why is no real title available?)
• scientific article; zbMATH DE number 1086714 (Why is no real title available?)
• scientific article; zbMATH DE number 1373521 (Why is no real title available?)
• scientific article; zbMATH DE number 2087441 (Why is no real title available?)
• Mobile values, new names, and secure communication
• Models for name-passing processes: Interleaving and causal
• Nominal logic, a first order theory of names and binding
• Notions of computation and monads
• On a monadic semantics for freshness
• On bisimulations for the asynchronous -calculus
• On closed categories of functors
• Parametricity and local variables
• Sheaves in geometry and logic: a first introduction to topos theory
• The -calculus: A theory of mobile processes
• Variations on algebra: Monadicity and generalisations of equational theories

Cited in

(17)

• A fully abstract model for the \(\pi\)-calculus.
• Normalization by evaluation and algebraic effects
• Two cotensors in one: presentations of algebraic theories for local state and fresh names
• Modeling fresh names in the {\(\pi\)}-calculus using abstractions
• Interpreting Localized Computational Effects Using Operators of Higher Type
• On universal algebra over nominal sets
• A coinductive calculus for asynchronous side-effecting processes
• scientific article; zbMATH DE number 1086714 (Why is no real title available?)
• scientific article; zbMATH DE number 6816930 (Why is no real title available?)
• Some explicit computations and models of free products
• Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding
• How to prove decidability of equational theories with second-order computation analyser SOL
• Foundations of Software Science and Computational Structures
• Foundations of Software Science and Computational Structures
• A categorical model of an \textbf{i/o}-typed \(\pi \)-calculus
• Structured handling of scoped effects
• Notions of Lawvere theory

Describes a project that uses

Uses Software

• FreshML

This page was built for publication: Free-algebra models for the \(\pi \)-calculus

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