scientific article; zbMATH DE number 1086714

MaRDI QIDQ4362963zbMATH OpenFDO

Authors Gian Luca Cattani, Ian Stark, Glynn Winskel

Publication date 13 November 1997

zbMATH Keywords

denotational semanticspresheaf categories

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• Foundations of Software Science and Computational Structures
• Free-algebra models for the \(\pi \)-calculus
• An intensionally fully-abstract sheaf model for \(\pi\)
• scientific article; zbMATH DE number 6816930
• scientific article; zbMATH DE number 2247251
• A fully abstract model for the \(\pi\)-calculus.
• scientific article; zbMATH DE number 1759486
• The -calculus in the -calculus
• scientific article; zbMATH DE number 3933032
• Numeration Models of λ‐Calculus

Cited in

(25)

• Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay
• Presheaf models for CCS-like languages
• A fully abstract model for the \(\pi\)-calculus.
• Domain theory for concurrency
• Bisimulation maps in presheaf categories
• A presheaf environment for the explicit fusion calculus
• Free-algebra models for the \(\pi \)-calculus
• A static analysis of cryptographic processes: the denotational approach
• Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda
• Preservation of model-theoretic properties of -fractions
• A categorical framework for typing CCS-style process communication
• Relationally staged computations in calculi of mobile processes
• A name abstraction functor for named sets
• Families of symmetries as efficient models of resource binding
• scientific article; zbMATH DE number 1086660 (Why is no real title available?)
• scientific article; zbMATH DE number 6816930 (Why is no real title available?)
• Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
• Bisimilarity of Diagrams
• An intensionally fully-abstract sheaf model for \(\pi\)
• Foundations of Software Science and Computational Structures
• Foundations of Software Science and Computational Structures
• Models for name-passing processes: Interleaving and causal
• A categorical model of an \textbf{i/o}-typed \(\pi \)-calculus
• A presheaf semantics of value-passing processes
• Symmetries, local names and dynamic (de)-allocation of names

This page was built for publication:

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