Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models
Memory models define semantics of concurrent programs operating on shared memory. Theory of these models is an active research topic. As new models emerge, the problem of providing a rigorous formal specification of these models becomes relevant. In this paper we consider a problem of formalizing me...
Сохранить в:
| Главные авторы: | , , , |
|---|---|
| Формат: | Artigo |
| Язык: | Inglês |
| Опубликовано: |
ITMO University
2024-12-01
|
| Серии: | Научно-технический вестник информационных технологий, механики и оптики |
| Предметы: | |
| Online-ссылка: | https://ntv.elpub.ru/jour/article/view/247 |
| Метки: |
Нет меток, Требуется 1-ая метка записи!
|