A probabilistic strategy language for probabilistic rewrite theories and its application to cloud computing

DOI10.1007/978-3-642-37635-1_5MaRDI QIDQ2848872zbMATHOpenAlexFDO

Authors Lucian Bentea, Peter Csaba Ölveczky

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

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

Recommendations

• scientific article; zbMATH DE number 2090077
• An Overview of the Maude Strategy Language and its Applications
• A rewriting based model for probabilistic distributed object systems.
• A deterministic rewrite system for the probabilistic \(\lambda\)-calculus
• A Probabilistic Applied Pi–Calculus

Cited in

(4)

• scientific article; zbMATH DE number 2090077 (Why is no real title available?)
• Strategic port graph rewriting: an interactive modelling framework
• QMaude: quantitative specification and verification in rewriting logic
• An Overview of the Maude Strategy Language and its Applications

Describes a project that uses

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

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