scientific article; zbMATH DE number 7333243
From MaRDI portal
Publication:5858728
zbMath1458.68026arXiv1207.0873MaRDI QIDQ5858728
Luca Bortolussi, Vashti Galpin, Jane Hillston
Publication date: 14 April 2021
Full work available at URL: https://arxiv.org/abs/1207.0873
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Wireless sensor networks as related to computer science (68M18)
Related Items (3)
Hybrid semantics for Bio-PEPA ⋮ Unnamed Item ⋮ Smoothed model checking for uncertain continuous-time Markov chains
This page was built for publication:
