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...
Na minha lista:
| Principais autores: | , , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
ITMO University
2024-12-01
|
| coleção: | Научно-технический вестник информационных технологий, механики и оптики |
| Assuntos: | |
| Acesso em linha: | https://ntv.elpub.ru/jour/article/view/247 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|