Estatísticas para A proof system for lock-free concurrency
Total de visitas
| views | |
|---|---|
| A proof system for lock-free concurrency | 123 |
Total de visitas por mês
| views | |
|---|---|
| outubro 2025 | 1 |
| novembro 2025 | 2 |
| dezembro 2025 | 3 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 0 |
| março 2026 | 0 |
| abril 2026 | 0 |
Downloads
| views | |
|---|---|
| Serra_2013.pdf | 177 |
| Leonardo_2013.pdf | 1 |
Top de consultas por país
| views | |
|---|---|
| Portugal | 45 |
| China | 18 |
| Japão | 17 |
| Estados Unidos | 14 |
| Nova Zelândia | 3 |
| Região desconhecida | 3 |
| Angola | 2 |
| Brasil | 2 |
| Suíça | 2 |
| França | 2 |
| Bélgica | 1 |
| Canadá | 1 |
| Alemanha | 1 |
| Reino Unido | 1 |
| Irão | 1 |
| Coreia do Sul | 1 |
| Marrocos | 1 |
| México | 1 |
| Nigéria | 1 |
| Países Baixos | 1 |
| Noruega | 1 |
| Suécia | 1 |
| Tailândia | 1 |