Modeling interaction by sheaves and geometric logic

DOI10.1007/3-540-48321-7_43MaRDI QIDQ4934357zbMATH OpenFDO

Authors Viorica Sofronie-Stokkermans, Karel Stokkermans

Publication date 17 January 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48321-7_43

zbMATH Keywords

interacting systems

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Sheaves and geometric logic and applications to modular verification of complex systems
• Sheaf semantics for concurrent interacting objects
• scientific article; zbMATH DE number 4095456
• Sheaves and Structures of Transition Systems
• Sheaves, objects, and distributed systems

Cited in

(5)

• Sheaves and geometric logic and applications to modular verification of complex systems
• From geometry of interaction to denotational semantics
• Sheaf semantics for concurrent interacting objects
• Sheaves and Structures of Transition Systems
• Towards a sheaf semantics for cooperating agents scenarios

This page was built for publication: Modeling interaction by sheaves and geometric logic

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