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

DOI10.1007/978-3-642-37635-1_5zbMATH Open1394.68221OpenAlexW1511196089MaRDI QIDQ2848872FDOQ2848872

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

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

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)

Cited In (4)

• An Overview of the Maude Strategy Language and its Applications
• Title not available (Why is that?)
• Strategic port graph rewriting: an interactive modelling framework
• QMaude: quantitative specification and verification in rewriting logic

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)