Dexter Kozen’s Influence on the Theory of Labelled Markov Processes

DOI10.1007/978-3-642-29485-3_28zbMath1354.68010OpenAlexW54895954MaRDI QIDQ2897969

Prakash Panangaden

Publication date: 16 July 2012

Published in: Logic and Program Semantics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29485-3_28

Mathematics Subject Classification ID

Discrete-time Markov processes on general state spaces (60J05) Biographies, obituaries, personalia, bibliographies (01A70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) History of computer science (68-03) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

This page was built for publication: Dexter Kozen’s Influence on the Theory of Labelled Markov Processes