Cited in
(25)- Rely-guarantee termination and cost analyses of loops with concurrent interleavings
- May-happen-in-parallel analysis for actor-based concurrency
- Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking
- Behavioural semantics for asynchronous components
- Multiactive objects and their applications
- Zephyrus2
- A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell
- COSTA
- Algorithm 864
- ProActive
- Resource-usage-aware configuration in software product lines
- SPEED
- COSTABS
- SOFA 2.0
- KITTeL
- monabs
- Kilim
- ABS
- JCobox
- Syco
- SPL Conqueror
- KeY-ABS
- Analysis of executable software models
- Time analysis of actor programs
- A transformational approach to resource analysis with typed-norms inference
This page was built for software: SACO
