A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing

DOI10.1007/978-3-642-37635-1_5zbMath1394.68221OpenAlexW1511196089MaRDI QIDQ2848872

Peter Csaba Ölveczky, Lucian Bentea

Publication date: 13 September 2013

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37635-1_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

QMaude: quantitative specification and verification in rewriting logic ⋮ Strategic port graph rewriting: an interactive modelling framework

Uses Software

• PRISM
• PMaude
• PVeStA
• PSMaude

This page was built for publication: A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing