PMaude: rewrite-based specification language for probabilistic object systems

DOI10.1016/J.ENTCS.2005.10.040MaRDI QIDQ7014286zbMATH OpenFDO

Authors Gul A. Agha, José Meseguer, Koushik Sen

Publication date 11 March 2025

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

zbMATH Keywords

query languagespecification languageactorsprobabilistic specificationnondeterministic specificationPMaudeQuaTEx

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• scientific article; zbMATH DE number 729460 (Why is no real title available?)
• scientific article; zbMATH DE number 763717 (Why is no real title available?)
• A foundation for actor computation
• A logic for reasoning about time and reliability
• A rewriting based model for probabilistic distributed object systems.
• Computer Aided Verification
• Computer Aided Verification
• Conditional rewriting logic as a unified model of concurrency
• Maude: specification and programming in rewriting logic
• Model checking of probabilistic and nondeterministic systems
• Model-checking continuous-time Markov chains
• Process algebra for performance evaluation
• Specification and proof in membership equational logic
• Specification of real-time and hybrid systems in rewriting logic
• Verification, Model Checking, and Abstract Interpretation

Cited in

(6)

• A distribution semantics for probabilistic term rewriting
• A rewriting logic semantics for the analysis of \textsf{P} programs
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond
• From innermost to full probabilistic term rewriting: almost-sure termination, complexity, and modularity
• Unified opinion formation analysis in rewriting logic
• Algebraic reasoning for timeliness-guided system design

This page was built for publication: PMaude: rewrite-based specification language for probabilistic object systems

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