Quantified abstract configurations of distributed systems
From MaRDI portal
Publication:493525
DOI10.1007/s00165-014-0321-zzbMath1319.68023OpenAlexW2078063441MaRDI QIDQ493525
Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez
Publication date: 3 September 2015
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-014-0321-z
Related Items (2)
Rely-guarantee termination and cost analyses of loops with concurrent interleavings ⋮ Quantified abstract configurations of distributed systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Termination detection for active objects
- Quantified abstract configurations of distributed systems
- Cost analysis of object-oriented bytecode programs
- Issues in the design of a parallel object-oriented language
- Scala actors: Unifying thread-based and event-based programming
- Closed-form upper bounds in static cost analysis
- Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis
- Termination and Cost Analysis of Loops with Concurrent Interleavings
- Pick your contexts well
- Programming Languages and Systems
- Quantitative static analysis of distributed systems
- Comparing Cost Functions in Resource Analysis
This page was built for publication: Quantified abstract configurations of distributed systems
