A rewriting based model for probabilistic distributed object systems.

DOI10.1007/B94120MaRDI QIDQ5902540zbMATH OpenOpenAlexFDO

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

Publication date 12 January 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b94120

zbMATH Keywords

actorsMaudenondeterminismprobabilityrewrite theory

Mathematics Subject Classification ID

Distributed systems (68M14) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• scientific article; zbMATH DE number 2043521
• scientific article; zbMATH DE number 1569122
• Conditional rewriting logic as a unified model of concurrency
• scientific article; zbMATH DE number 1231678
• scientific article; zbMATH DE number 1361135

Cited in

(7)

• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
• Twenty years of rewriting logic
• A probabilistic strategy language for probabilistic rewrite theories and its application to cloud computing
• José Meseguer: scientist and friend extraordinaire
• An Object-Oriented Component Model for Heterogeneous Nets
• PMaude: rewrite-based specification language for probabilistic object systems
• Specification and analysis of the AER/NCA active network protocol suite in real-time Maude

Describes a project that uses

Uses Software

• Maude

This page was built for publication: A rewriting based model for probabilistic distributed object systems.

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