22 citations · 96 across the 27 of their papers we have counts for
4 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…
Analysing and Comparing Encodability Criteria
Kirstin Peters, Rob van Glabbeek
Encodings or the proof of their absence are the main way to compare process calculi. To analyse the quality of encodings and to rule out trivial or meaningless encodings, they are…
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…