Semantics for Interactive Sequential Systems and Non-Interference Properties - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Matias David Lee, Pedro R. D'Argenio. Semantics for Interactive Sequential Systems and Non-Interference Properties. CLEI Electron. J., 14(3), 2011. [doi]

@article{LeeD11-1,
  title = {Semantics for Interactive Sequential Systems and Non-Interference Properties},
  author = {Matias David Lee and Pedro R. D'Argenio},
  year = {2011},
  url = {http://www.clei.org/cleiej/paper.php?id=228},
  researchr = {https://researchr.org/publication/LeeD11-1},
  cites = {0},
  citedby = {0},
  journal = {CLEI Electron. J.},
  volume = {14},
  number = {3},
}

runs on WebDSL