9 citations · 13 across the 3 of their papers we have counts for
3 papers
cs.LO2016★ 1 cited
A Theory of Service Dependency
Mats Neovius, Luigia Petre, Kaisa Sere
Service composition has become commonplace nowadays, in large part due to the increased complexity of software and supporting networks. Composition can be of many types, for instan…
cs.LO2011★ 3 cited
Concurrent Scheduling of Event-B Models
Pontus Boström, Fredrik Degerlund, Kaisa Sere +1
Event-B is a refinement-based formal method that has been shown to be useful in developing concurrent and distributed programs. Large models can be decomposed into sub-models that…
cs.DC2010★ 9 cited
Self-Recovering Sensor-Actor Networks
Maryam Kamali, Linas Laibinis, Luigia Petre +1
Wireless sensor-actor networks are a recent development of wireless networks where both ordinary sensor nodes and more sophisticated and powerful nodes, called actors, are present.…