CASTIGLIONI, VALENTINA
CASTIGLIONI, VALENTINA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.001 secondi).
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
In search of lost time: Axiomatising parallel composition in process algebras
2021-01-01 Aceto, Luca; Anastasiadi, Elli; Castiglioni, Valentina; Ingolfsdottir, Anna; Luttik, Bas
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.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| In search of lost time: Axiomatising parallel composition in process algebras | 1-gen-2021 | Aceto, Luca; Anastasiadi, Elli; Castiglioni, Valentina; Ingolfsdottir, Anna; Luttik, Bas | |
| 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. |