Skip to content

Unrestricted stone duality for Markov processes.

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

VenueA*LICS
Year2017
ProceedingsLICS

Browse the full LICS paper archive.