Publication:4023469

zbMath0790.68089MaRDI QIDQ4023469

Falko Bause

Publication date: 23 January 1993

zbMATH Keywords

Markov processes; timed Petri nets

Mathematics Subject Classification ID

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

68-02: Research exposition (monographs, survey articles) pertaining to computer science