8 citations · 13 across the 2 of their papers we have counts for
5 papers · 1 filter
Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)
Kirstin Peters, Christoph Wagner, Uwe Nestmann
The additional complexity caused by concurrently communicating processes in distributed systems render the verification of such systems into a very hard problem. Multiparty session…
On the Distributability of Mobile Ambients
Kirstin Peters, Uwe Nestmann
Modern society is dependent on distributed software systems and to verify them different modelling languages such as mobile ambients were developed. To analyse the quality of mobil…
On the Distributability of Mobile Ambients (Technical Report)
Kirstin Peters, Uwe Nestmann
Modern society is dependent on distributed software systems and to verify them different modelling languages such as mobile ambients were developed. To analyse the quality of mobil…
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…
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…