3 citations · 7 across the 8 of their papers we have counts for
Showing 2008 · cs.LOShow all
2 papers · 2 filters
cs.LO2008
Sheaves and geometric logic and applications to the modular verification of complex systems
Viorica Sofronie-Stokkermans
In this paper we show that states, transitions and behavior of concurrent systems can often be modeled as sheaves over a suitable topological space. In this context, geometric logi…
cs.LO2008★ 1 cited
On combinations of local theory extensions
Viorica Sofronie-Stokkermans
In this paper we study possibilities of efficient reasoning in combinations of theories over possibly non-disjoint signatures. We first present a class of theory extensions (called…