Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Quantifying information flow in interactive systems
David Mestel
We consider the problem of quantifying information flow in interactive systems, modelled as finite-state transducers in the style of Goguen and Meseguer. Our main result is that if…
cs.FL2019
Translating between models of concurrency
David Mestel, A. W. Roscoe
Hoare's Communicating Sequential Processes (CSP) admits a rich universe of semantic models closely related to the van Glabbeek spectrum. In this paper we study finite observational…