Information Flow in Interactive Systems

DOI10.1007/978-3-642-15375-4_8zbMath1287.68017OpenAlexW2106289417WikidataQ62043008 ScholiaQ62043008MaRDI QIDQ3584924

Miguel E. Andrés, Mário S. Alvim, Catuscia Palamidessi

Publication date: 31 August 2010

Published in: CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15375-4_8

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Information theory (general) (94A15) Distributed systems (68M14)

Related Items (4)

Min-entropy as a resource ⋮ Compositional methods for information-hiding ⋮ Hidden-Markov program algebra with iteration ⋮ Quantifying opacity

This page was built for publication: Information Flow in Interactive Systems