150 citations · 623 across the 65 of their papers we have counts for
Showing 2015 · cs.LOShow all
2 papers · 2 filters
cs.LO2015★ 2 cited
*-Continuous Kleene -Algebras for Energy Problems
Zoltán Ésik, Uli Fahrenberg, Axel Legay
Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on star-continuous Kleene omega-algebras, we show here that energy prob…
cs.LO2015★ 7 cited
On the Expressiveness of Joining
Thomas Given-Wilson, Axel Legay
The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism (asynchronous vs synchrono…