Modelling and proving of truly concurrent systems with CATNets
Mohamed Bettaz, A. Mehemmel · 2002
Concurrent Algebraic Term Nets (CATNets in short) are a semi-graphical formalism for modelling and prototyping concurrent systems. In this paper we show how this formalism may be used to design an elegant solution to a router problem. Then we show how the semantic framework of CATNets may be used to perform automatic proving.>