SACO
From MaRDI portal
swMATH21209MaRDI QIDQ33020FDOQ33020
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F978-3-642-54862-8_46
Cited In (24)
- Multiactive objects and their applications
- Zephyrus2
- A transformational approach to resource analysis with typed-norms inference
- 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
- Analysis of executable software models
- Algorithm 864
- ProActive
- SPEED
- COSTABS
- SOFA 2.0
- KITTeL
- Resource-usage-aware configuration in software product lines
- Time analysis of actor programs
- monabs
- Kilim
- ABS
- JCobox
- Syco
- SPL Conqueror
- KeY-ABS
- Rely-guarantee termination and cost analyses of loops with concurrent interleavings
- A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell
This page was built for software: SACO
