A logic for application level QoS

DOI10.1016/J.ENTCS.2005.10.036MaRDI QIDQ7014290zbMATH OpenFDO

Authors Dan Hirsch, Alberto Lluch Lafuente, Emilio Tuosto

Publication date 11 March 2025

Full work available at URL https://doi.org/10.1016/J.ENTCS.2005.10.036

zbMATH Keywords

c-semiringsquality of serviceservice-oriented computingsynchronized hyperedge replacement

Mathematics Subject Classification ID

Logic in computer science (03B70) Distributed systems (68M14)

Cites work

• A formal basis for reasoning on programmable QoS
• A lattice-theoretical fixpoint theorem and its applications
• A spatial logic for concurrency. I
• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 1670788 (Why is no real title available?)
• scientific article; zbMATH DE number 3819108 (Why is no real title available?)
• scientific article; zbMATH DE number 1956515 (Why is no real title available?)
• scientific article; zbMATH DE number 1927564 (Why is no real title available?)
• scientific article; zbMATH DE number 2086655 (Why is no real title available?)
• Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
• Semiring-based constraint satisfaction and optimization
• Synchronization algebras with mobility for graph transformations
• Verifying a behavioural logic for graph transformation systems

Cited in

(1)

• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: A logic for application level QoS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7014290)