Modelling and proving of truly concurrent systems with CATNets.

Mohamed Bettaz, Abbas Mehemmel

Browse the full PDP paper archive.