21 citations · 37 across the 30 of their papers we have counts for
Showing 2009Show all
3 papers · 1 filter
cs.GT2009
Undirected Graphs of Entanglement 3
Walid Belkhir
Entanglement is a complexity measure of digraphs that origins in fixed-point logics. Its combinatorial purpose is to measure the nested depth of cycles in digraphs. We address the…
cs.LO2009★ 1 cited
On the word problem for SP-categories, and the properties of two-way communication
Luigi Santocanale, Robin Cockett
The word problem for categories with free products and coproducts (sums), SP-categories, is directly related to the problem of determining the equivalence of certain processes. Ind…
cs.DC2009
A Nice Labelling for Tree-Like Event Structures of Degree 3 (Extended Version)
Luigi Santocanale
We address the problem of finding nice labellings for event structures of degree 3. We develop a minimum theory by which we prove that the labelling number of an event structure of…