Quantified abstract configurations of distributed systems
From MaRDI portal
(Redirected from Publication:493525)
Recommendations
Cites work
- Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis
- Closed-form upper bounds in static cost analysis
- Comparing cost functions in resource analysis
- Cost analysis of object-oriented bytecode programs
- scientific article; zbMATH DE number 576277 (Why is no real title available?)
- Issues in the design of a parallel object-oriented language
- Occurrence counting analysis for the pi-calculus
- Pick your contexts well, understanding object-sensitivity
- Programming Languages and Systems
- Quantified abstract configurations of distributed systems
- Quantitative static analysis of distributed systems
- Scala actors: Unifying thread-based and event-based programming
- Termination and cost analysis of loops with concurrent interleavings
- Termination detection for active objects
Cited in
(5)- Rely-guarantee termination and cost analyses of loops with concurrent interleavings
- A quantitative inherent reconfiguration theory for a class of systems†
- Quantified abstract configurations of distributed systems
- Reaching and Distinguishing States of Distributed Systems
- Quantitative static analysis of distributed systems
This page was built for publication: Quantified abstract configurations of distributed systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q493525)
