Back to Results
First PageMeta Content
PP / Ergodic theory / Probabilistic bisimulation / Probability and statistics / Mathematical sciences / Non-classical logic / Markov models / Applied mathematics / Markov chain


Decidability of Parameterized Probabilistic Information Flow Danièle Beauquier1 , Marie Duflot1 and Yury Lifshits2 1 2
Add to Reading List

Document Date: 2008-11-06 22:09:07

Open Document

File Size: 125,88 KB

Share Result on Facebook

City

Princeton / St.Petersburg / Paris / /

Company

Probabilistic Event Systems / D Van Nostad Co. Inc. / IEEE Comp / Infinite-State Systems / IOS Press / /

Country

Russia / /

Facility

University Paris / France Steklov Institute of Mathematics / /

IndustryTerm

multiagent systems / real-time systems / /

Organization

North Atlantic Treaty Organization / IFIP International Federation for Information Processing / France Steklov Institute of Mathematics / /

Person

M. Duflot D. Beauquier / Proc / M. Minea / Ty / /

Position

editor / General Information Flow Definition / /

ProvinceOrState

New Jersey / /

PublishedMedium

Journal of the ACM / /

Technology

appendix A. Our algorithm / /

SocialTag