Pages that link to "Item:Q4017459"
From MaRDI portal
The following pages link to Sheaf semantics for concurrent interacting objects (Q4017459):
Displaying 12 items.
- Discrete Morse theory for computing cellular sheaf cohomology (Q330097) (← links)
- Sheaf-theoretic investigation of CIP-method (Q711285) (← links)
- Sheaf tools for computation (Q870127) (← links)
- Detecting equivalence of modular specifications with categorical diagrams (Q1583247) (← links)
- Bisimulation maps in presheaf categories (Q2133160) (← links)
- Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems (Q2810964) (← links)
- (Q4510453) (← links)
- (Q4512408) (← links)
- (Q4525557) (← links)
- Sheaves, Objects, and Distributed Systems (Q4982050) (← links)
- Object interaction (Q5096831) (← links)
- Towards a sheaf semantics for cooperating agents scenarios (Q6560382) (← links)
