9 citations · 13 across the 4 of their papers we have counts for
3 papers
cs.LO2016★ 9 cited
(De-)Composing Causality in Labeled Transition Systems
Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi
In this paper we introduce a notion of counterfactual causality in the Halpern and Pearl sense that is compositional with respect to the interleaving of transition systems. The for…
cs.PL2014
Expression-based aliasing for OO-languages
Georgiana Caltais
Alias analysis has been an interesting research topic in verification and optimization of programs. The undecidability of determining whether two expressions in a program may refer…
cs.PL2014★ 4 cited
Coffman deadlocks in SCOOP
Georgiana Caltais, Bertrand Meyer
In this paper we address the deadlock detection problem in the context of SCOOP - an OO-programming model for concurrency, recently formalized in Maude. We present the integration…