On Intransitive Non-interference in Some Models of Concurrency.

Roberto Gorrieri Matteo Vernali

Published in: FOSAD (2011)

Keyphrases

computational models
website
probabilistic model
database
hidden markov models
model selection
accurate models