SACO
From MaRDI portal
Software:33020
swMATH21209MaRDI QIDQ33020FDOQ33020
Author name not available (Why is that?)
Cited In (10)
- Multiactive objects and their applications
- 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
- Resource-usage-aware configuration in software product lines
- Time analysis of actor programs
- 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
