Title :
Modelling and proving of truly concurrent systems with CATNets
Author :
Bettaz, Mohamed ; Mehemmel, Abbas
Author_Institution :
Inst. of Comput. Sci., Univ. of Constantine, Algeria
Abstract :
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
Keywords :
Petri nets; concurrency control; software prototyping; CATNets; Concurrent Algebraic Term Nets; automatic proving; prototyping; router problem; semantic framework; truly concurrent systems; Computer science; Concurrent computing; Data models; Equations; Logic; Petri nets; Prototypes; Software design;
Conference_Titel :
Parallel and Distributed Processing, 1993. Proceedings. Euromicro Workshop on
Conference_Location :
Gran Canaria
Print_ISBN :
0-8186-3610-6
DOI :
10.1109/EMPDP.1993.336393
