Login / Signup

Formally verifying information flow type systems for concurrent and thread systems.

Gilles BartheLeonor Prensa Nieto
Published in: FMSE (2004)
Keyphrases
  • information flow
  • databases
  • intelligent systems
  • knowledge based systems
  • distributed environment
  • real world
  • data mining
  • social networks
  • distributed systems
  • intelligent agents