19 citations · 70 across the 21 of their papers we have counts for
3 papers · 1 filter
Encoding CSP into CCS
Meike Hatzel, Christoph Wagner, Kirstin Peters +1
We study encodings from CSP into asynchronous CCS with name passing and matching, so in fact, the asynchronous pi-calculus. By doing so, we discuss two different ways to map the mu…
Encoding CSP into CCS (Extended Version)
Meike Hatzel, Christoph Wagner, Kirstin Peters +1
We study encodings from CSP into asynchronous CCS with name passing and matching, so in fact, the asynchronous pi-calculus. By doing so, we discuss two different ways to map the mu…
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…