scientific article; zbMATH DE number 1086714
From MaRDI portal
Publication:4362963
zbMATH Open0884.68078MaRDI QIDQ4362963FDOQ4362963
Authors: Gian Luca Cattani, Ian Stark, Glynn Winskel 
Publication date: 13 November 1997
Title of this publication is not available (Why is that?)
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 \(\lambda \)-calculus in the \(\pi \)-calculus
- scientific article; zbMATH DE number 3933032
- Numeration Models of λ‐Calculus
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theories (e.g., algebraic theories), structure, and semantics (18C10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Semantics in the theory of computing (68Q55)
Cited In (23)
- Relationally staged computations in calculi of mobile processes
- A name abstraction functor for named sets
- Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay
- A presheaf environment for the explicit fusion calculus
- Models for name-passing processes: Interleaving and causal
- Bisimilarity of Diagrams
- Preservation of model-theoretic properties of \(\Psi\)-fractions
- An intensionally fully-abstract sheaf model for \(\pi\)
- A fully abstract model for the \(\pi\)-calculus.
- A categorical framework for typing CCS-style process communication
- Domain theory for concurrency
- Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda
- A static analysis of cryptographic processes: the denotational approach
- A categorical model of an \textbf{i/o}-typed \(\pi \)-calculus
- Symmetries, local names and dynamic (de)-allocation of names
- Presheaf models for CCS-like languages
- Free-algebra models for the \(\pi \)-calculus
- Families of symmetries as efficient models of resource binding
- Foundations of Software Science and Computational Structures
- Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
- Title not available (Why is that?)
- Foundations of Software Science and Computational Structures
- A presheaf semantics of value-passing processes
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)
