Skip to content

Stone Duality for Markov Processes.

Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden

VenueA*LICS
Year2013
ProceedingsLICS

Browse the full LICS paper archive.