Publication:4763989

zbMath0817.68029MaRDI QIDQ4763989

Kishor S. Trivedi, Varsha Mainkar

Publication date: 23 July 1995

zbMATH Keywords

real-time system; discrete-time Markov chains

Mathematics Subject Classification ID

68M20: Performance evaluation, queueing, and scheduling in the context of computer systems

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

A brief survey and synthesis of the roles of time in Petri nets.