Unrestricted stone duality for Markov processes.
Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden
Browse the full LICS paper archive.
Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden
Browse the full LICS paper archive.