[
Back
]
| Title | Logic and Concurrency |
| Author | David LEHNHERR |
| Director of thesis | Christian Cachin |
| Co-director of thesis | Thomas Studer |
| Summary of thesis | |
| Status | middle |
| Administrative delay for the defence | 2025 |
| URL | |
| Title | Logic and Concurrency |
| Author | David LEHNHERR |
| Director of thesis | Christian Cachin |
| Co-director of thesis | Thomas Studer |
| Summary of thesis | |
| Status | middle |
| Administrative delay for the defence | 2025 |
| URL | |