Probabilistic real-time rewrite theories and their expressive power

DOI10.1007/978-3-642-24310-3_6MaRDI QIDQ3172843zbMATH OpenOpenAlexFDO

Authors Lucian Bentea, Peter Csaba Ölveczky

Publication date 7 October 2011

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

Full work available at URL http://hdl.handle.net/10852/39285

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 2043521
• Probabilistic timed graph transformation systems
• scientific article; zbMATH DE number 1231547
• Probabilistic timed graph transformation systems
• Specification of real-time and hybrid systems in rewriting logic

Cites work

• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• scientific article; zbMATH DE number 1973125 (Why is no real title available?)
• A theory of timed automata
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Automatic verification of real-time systems with discrete probability distributions.
• Conditional rewriting logic as a unified model of concurrency
• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
• Petri nets are monoids
• Probabilistic real-time rewrite theories and their expressive power
• Semantic foundations for generalized rewrite theories
• Semantics and pragmatics of real-time maude
• Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
• Specification of real-time and hybrid systems in rewriting logic
• Validation of Stochastic Systems

Cited in

(1)

• Probabilistic real-time rewrite theories and their expressive power

Describes a project that uses

Uses Software

• PEPA
• VESTA
• PVeStA
• Maude

This page was built for publication: Probabilistic real-time rewrite theories and their expressive power

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