Sfoglia per Autore CASTIGLIONI, VALENTINA
Mostrati risultati da 1 a 3 di 3
Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction
2022-01-01 Aceto, Luca; Anastasiadi, Elli; Castiglioni, Valentina; Ingólfsdóttir, Anna
On the Axiomatisability of Parallel Composition
2022-01-01 Aceto, Luca; Castiglioni, Valentina; Ingolfsdottir, Anna; Luttik, Bas; Pedersen, Mathias R.
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
2022-01-01 Aceto, Luca; Castiglioni, Valentina; Fokkink, Wan; Ingólfsdóttir, Anna; Luttik, Bas
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction | 1-gen-2022 | Aceto, Luca; Anastasiadi, Elli; Castiglioni, Valentina; Ingólfsdóttir, Anna | |
On the Axiomatisability of Parallel Composition | 1-gen-2022 | Aceto, Luca; Castiglioni, Valentina; Ingolfsdottir, Anna; Luttik, Bas; Pedersen, Mathias R. | |
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? | 1-gen-2022 | Aceto, Luca; Castiglioni, Valentina; Fokkink, Wan; Ingólfsdóttir, Anna; Luttik, Bas |
Mostrati risultati da 1 a 3 di 3
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