Lumping and reversed processes in cooperating automata

DOI10.1007/978-3-642-30782-9_15MaRDI QIDQ2900404zbMATH OpenOpenAlexFDO

Authors Simonetta Balsamo, Gian-Luca Dei Rossi, Andrea Marin

Publication date 23 July 2012

Published in Analytical and Stochastic Modeling Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30782-9_15

Mathematics Subject Classification ID

Applications of continuous-time Markov processes on discrete state spaces (60J28) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Lumping and reversed processes in cooperating automata
• Lumpable continuous-time stochastic automata networks.
• Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
• Proportional lumpability
• scientific article; zbMATH DE number 956806

Cited in

(2)

• Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
• Lumping and reversed processes in cooperating automata

Describes a project that uses

Uses Software

• PEPA
• SPADES

This page was built for publication: Lumping and reversed processes in cooperating automata

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