- Tytuł:
- Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System
- Autorzy:
- Temat:
-
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95 - Źródło:
- Electronic Proceedings in Theoretical Computer Science, Vol 196, Iss Proc. MARS 2015, Pp 10-24 (2015)
- Opis pliku:
- electronic resource
- Relacje:
- http://arxiv.org/pdf/1511.04170v1; https://doaj.org/toc/2075-2180
- Dostęp URL:
- https://doaj.org/article/20d064ed3d114e7e9a352316ecc5ebdf  Link otwiera się w nowym oknie
Czasopismo naukowe