19 citations · 70 across the 21 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.LO2018★ 1 cited
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…
cs.LO2018★ 1 cited
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…
cs.LO2018★ 3 cited
Dynamic Causality in Event Structures
Youssef Arbach, David S. Karcher, Kirstin Peters +1
Event Structures (ESs) address the representation of direct relationships between individual events, usually capturing the notions of causality and conflict. Up to now, such relati…