Model Checking for a Class of Performance Properties of Fluid Stochastic Models

DOI10.1007/11777830_7zbMath1185.68409OpenAlexW2104204439MaRDI QIDQ3613671

Manuela L. Bujorianu, Marius C. Bujorianu

Publication date: 12 March 2009

Published in: Formal Methods and Stochastic Models for Performance Evaluation (Search for Journal in Brave)

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

zbMATH Keywords

capacityMarkov processesfluid modelsperformance measuremodel checkingbisimulationcomputer networks

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) 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)

Related Items (1)

A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems

This page was built for publication: Model Checking for a Class of Performance Properties of Fluid Stochastic Models