Sheaf tools for computation

DOI10.1016/j.amc.2005.12.069zbMath1130.18007OpenAlexW2075993739MaRDI QIDQ870127

Elena Şendroiu

Publication date: 12 March 2007

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.amc.2005.12.069

zbMATH Keywords

category theorysheavesauthenticationsievestopos theorypresheavesnon-interferencesitewell structured site

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Topoi (18B25) Definitions and generalizations in theory of categories (18A05) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Grothendieck topologies and Grothendieck topoi (18F10) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

Sheaf-theoretic investigation of CIP-method

Cites Work

• Unnamed Item
• Sheaves in geometry and logic: a first introduction to topos theory
• Sheaf semantics for concurrent interacting objects
• On the role of description

This page was built for publication: Sheaf tools for computation