8 citations · 13 across the 2 of their papers we have counts for
2 papers
cs.LO2015★ 5 cited
Dynamic Causality in Event Structures (Technical Report)
Youssef Arbach, David Karcher, Kirstin Peters +1
In [1] we present an extension of Prime Event Structures by a mechanism to express dynamicity in the causal relation. More precisely we add the possibility that the occurrence of a…
cs.LO2010★ 8 cited
Breaking Symmetries
Kirstin Peters, Uwe Nestmann
A well-known result by Palamidessi tells us that \pimix (the π-calculus with mixed choice) is more expressive than \pisep (its subset with only separate choice). The proof of this…