Abstract | ||
---|---|---|
The main objective of this paper is to show how to extend the ECATNet model, which is a form of high-level algebraic nets, with new objects and morphisms in order to have a more expressive model-based diagnosis of concurrent systems. Our formulation is accomplished by exploiting the similarity between the categorical models of linear logic and those of ECATNets which are also categories in the rew... |
Year | DOI | Venue |
---|---|---|
2000 | 10.1093/jigpal/8.2.149 | Logic Journal of the IGPL |
Keywords | Field | DocType |
linear logic,rewriting logic | Categorical logic,Algebraic number,Categorical models,Categorical variable,Systems analysis,Theoretical computer science,Rewriting,Linear logic,Morphism,Mathematics | Journal |
Volume | Issue | ISSN |
8 | 2 | 1367-0751 |
Citations | PageRank | References |
1 | 0.36 | 9 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
F. Belala | 1 | 1 | 1.03 |
Mohamed Bettaz | 2 | 66 | 11.13 |
Laure Petrucci-dauchy | 3 | 1 | 0.36 |