1 citations · 3 across the 7 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
Modal Logic for Distributed Trust
Niels Voorneveld, Peeter Laud
We propose a method for reasoning about trust in multi-agent systems, specifying a language for describing communication protocols and making trust assumptions and derivations. Thi…
math.CT2026
A Simple Categorical Calculus of Interacting Processes
Chad Nester, Niels Voorneveld
We present a calculus that models a simple sort of process interaction. Our calculus consists of a collection of terms together with a rewrite relation, parameterised by an arbitra…