scientific article; zbMATH DE number 1086660
From MaRDI portal
Publication:4362910
zbMath0881.18013MaRDI QIDQ4362910
Glynn Winskel, Gian Luca Cattani
Publication date: 2 February 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
bisimulationrefinementconcurrent computationprocess calculievent structuresKan extensionspresheaf models
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Related Items (13)
Modelling Local Variables: Possible Worlds and Object Spaces ⋮ Models for name-passing processes: Interleaving and causal ⋮ Open maps, behavioural equivalences, and congruences ⋮ 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 ⋮ The sheaf-theoretic structure of non-locality and contextuality ⋮ Domain theory for concurrency ⋮ Events in context ⋮ Sheaves, Objects, and Distributed Systems ⋮ A categorical framework for typing CCS-style process communication ⋮ The Bicategory-Theoretic Solution of Recursive Domain Equations ⋮ Coalgebra morphisms subsume open maps
This page was built for publication:
