A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing
From MaRDI portal
Publication:2848872
DOI10.1007/978-3-642-37635-1_5zbMath1394.68221MaRDI 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
68Q60: Specification and verification (program logics, model checking, etc.)
68Q42: Grammars and rewriting systems
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Strategic port graph rewriting: an interactive modelling framework, QMaude: quantitative specification and verification in rewriting logic
Uses Software