Sfoglia per Rivista
Lifting non-finite axiomatizability results to extensions of process algebras
2010-01-01 Aceto, L; Fokkink, W; Ingólfsdóttir, A; Mousavi, M R
On first-order runtime enforcement of branching-time properties
2023-01-01 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015).
2017-01-01 Aceto, L; de Frutos-Escrig, D
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Lifting non-finite axiomatizability results to extensions of process algebras | 1-gen-2010 | Aceto, L; Fokkink, W; Ingólfsdóttir, A; Mousavi, M R | |
On first-order runtime enforcement of branching-time properties | 1-gen-2023 | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna | |
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015). | 1-gen-2017 | Aceto, L; de Frutos-Escrig, D |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile