11 citations · 36 across the 19 of their papers we have counts for
Showing 2019 · cs.LOShow all
2 papers · 2 filters
cs.LO2019
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra
Paul Brunet, David Pym
Concurrent Kleene Algebra is an elegant tool for equational reasoning about concurrent programs. An important feature of concurrent programs that is missing from CKA is the ability…
cs.LO2019★ 3 cited
A Substructural Epistemic Resource Logic: Theory and Modelling Applications
Didier Galmiche, Pierre Kimmel, David Pym
We present a substructural epistemic logic, based on Boolean BI, in which the epistemic modalities are parametrized on agents' local resources. The new modalities can be seen as ge…