Year | DOI | Venue |
---|---|---|
1993 | 10.1109/EMPDP.1993.336393 | PDP |
Keywords | Field | DocType |
Petri nets,concurrency control,software prototyping,CATNets,Concurrent Algebraic Term Nets,automatic proving,prototyping,router problem,semantic framework,truly concurrent systems | Semantic framework,Programming language,Petri net,Algebraic number,Concurrency control,Concurrency,Computer science,Software prototyping,Theoretical computer science,Formalism (philosophy),Router | Conference |
Citations | PageRank | References |
4 | 0.49 | 11 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mohamed Bettaz | 1 | 66 | 11.13 |
Abbas Mehemmel | 2 | 4 | 0.49 |