scientific article; zbMATH DE number 1086714
From MaRDI portal
Publication:4362963
zbMath0884.68078MaRDI QIDQ4362963
I. Stark, Glynn Winskel, Gian Luca Cattani
Publication date: 13 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Related Items (13)
Families of Symmetries as Efficient Models of Resource Binding ⋮ Models for name-passing processes: Interleaving and causal ⋮ Bisimilarity of Diagrams ⋮ Symmetries, local names and dynamic (de)-allocation of names ⋮ Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay ⋮ Presheaf models for CCS-like languages ⋮ Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda ⋮ A fully abstract model for the \(\pi\)-calculus. ⋮ Domain theory for concurrency ⋮ Free-algebra models for the \(\pi \)-calculus ⋮ A static analysis of cryptographic processes: the denotational approach ⋮ A categorical framework for typing CCS-style process communication ⋮ A Name Abstraction Functor for Named Sets
This page was built for publication:
