CASTIGLIONI, VALENTINA
CASTIGLIONI, VALENTINA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.006 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
Axiomatising weak bisimulation congruences over CCS with left merge and communication merge
2025-01-01 Aceto, Luca; Castiglioni, Valentina; Ingólfsdóttir, Anna; Luttik, Bas
Non finite axiomatisability of weak bisimulation-based congruences
2025-01-01 Aceto, Luca; Castiglioni, Valentina; Ingólfsdóttir, 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 | |
| Axiomatising weak bisimulation congruences over CCS with left merge and communication merge | 1-gen-2025 | Aceto, Luca; Castiglioni, Valentina; Ingólfsdóttir, Anna; Luttik, Bas | |
| Non finite axiomatisability of weak bisimulation-based congruences | 1-gen-2025 | Aceto, Luca; Castiglioni, Valentina; Ingólfsdóttir, 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. |