3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.LO2016
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…