On the Axiomatisability of Parallel Composition

Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen. On the Axiomatisability of Parallel Composition. Logical Methods in Computer Science, 18(1), 2022. [doi]

Authors

Luca Aceto

This author has not been identified. It may be one of the following persons: Look up 'Luca Aceto' in Google

Valentina Castiglioni

This author has not been identified. Look up 'Valentina Castiglioni' in Google

Anna Ingólfsdóttir

This author has not been identified. It may be one of the following persons: Look up 'Anna Ingólfsdóttir' in Google

Bas Luttik

This author has not been identified. It may be one of the following persons: Look up 'Bas Luttik' in Google

Mathias Ruggaard Pedersen

This author has not been identified. Look up 'Mathias Ruggaard Pedersen' in Google