%0 Conference Paper %1 conf/coordination/BaldanB16 %A Baldan, Paolo %A Beggiato, Alessandro %B COORDINATION %D 2016 %E Lluch-Lafuente, Alberto %E Proença, José %I Springer %K dblp %P 1-17 %T Multilevel Transitive and Intransitive Non-interference, Causally. %U http://dblp.uni-trier.de/db/conf/coordination/coordination2016.html#BaldanB16 %V 9686 %@ 978-3-319-39518-0

@inproceedings{conf/coordination/BaldanB16, added-at = {2017-05-24T00:00:00.000+0200}, author = {Baldan, Paolo and Beggiato, Alessandro}, biburl = {https://www.bibsonomy.org/bibtex/2c07cc8435e9b2fe9317fdd5ff6475a5a/dblp}, booktitle = {COORDINATION}, crossref = {conf/coordination/2016}, editor = {Lluch-Lafuente, Alberto and Proença, José}, ee = {https://doi.org/10.1007/978-3-319-39519-7_1}, interhash = {4d241f4b2e4f3046057b723a5e06d0e5}, intrahash = {c07cc8435e9b2fe9317fdd5ff6475a5a}, isbn = {978-3-319-39518-0}, keywords = {dblp}, pages = {1-17}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-09T13:51:46.000+0200}, title = {Multilevel Transitive and Intransitive Non-interference, Causally.}, url = {http://dblp.uni-trier.de/db/conf/coordination/coordination2016.html#BaldanB16}, volume = 9686, year = 2016 }