SACO
From MaRDI portal
Software:33020
swMATH21209MaRDI QIDQ33020FDOQ33020
Author name not available (Why is that?)
Cited In (10)
- A Transformational Approach to Resource Analysis with Typed-norms Inference
- May-Happen-in-Parallel Analysis for Actor-Based Concurrency
- Analysis of Executable Software Models
- A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell*
- Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking
- Behavioural semantics for asynchronous components
- Resource-usage-aware configuration in software product lines
- Time analysis of actor programs
- Title not available (Why is that?)
- Rely-guarantee termination and cost analyses of loops with concurrent interleavings
This page was built for software: SACO
