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