Bas Luttik: Equationally axiomatising parallel composition Posted on April 1, 2021 by Alexander Fedotov Event Details Date: April 1, 2021 12:45 – 13:30 Venue: MS Teams Categories: Colloquium I will overview some results pertaining to the (equational) axiomatisation of interleaving parallel composition.
