Lumping and reversed processes in cooperating automata

DOI10.1007/978-3-642-30782-9_15zbMATH Open1356.68021OpenAlexW2129766238MaRDI QIDQ2900404FDOQ2900404

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

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

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)

Cited In (2)

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

Uses Software

• SPADES
• PEPA

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)