Dissemin
Language
العربيّة
Deutsch
English
Español
Suomi
Français
한국어
Македонски
Português
Português Brasileiro
Русский
Svenska
Türkçe
简体中文
繁體中文
Login
Dissemin
Dan Frumin
Frumin, 2020
Links
Zenodo
|
PDF
ORCID
Tools
Export citation
×
Format
BibTeX
@misc{Frumin2020, author = {Frumin, Dan}, month = {mar}, title = {Compositional Non-Interference for Fine-Grained Concurrent Programs}, url = {https://zenodo.org/record/4770057}, year = {2020} }
Export citation
Search in Google Scholar
Compositional Non-Interference for Fine-Grained Concurrent Programs
Published in 2020 by
Dan Frumin
This paper is available in a repository.
Full text:
Download
Preprint
: policy unknown
Upload
Postprint
: policy unknown
Upload
Published version
: policy unknown
Upload