F. Belala, Mohamed Bettaz, Laure Petrucci-Dauchy  Home/Search
Context
Related
| www3.oup.co.uk/igpl/Volume...Belala.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www3.oup.co.uk/igpl/Volume_08/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 modelbased 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 rewriting logic framework. The categorical interpretation of the extra structure is inspired from that... (Update)
Similar documents (at the sentence level):
63.4%: Logic Journal - Of The Editor-In-Chief (Correct)
62.9%: Concurrent Systems Analysis Using ECATNets - Belala, Bettaz, al. (2000) (Correct)
Active bibliography (related documents): More All
0.2: Temporal Linear Logic and Its Applications - Hirai (2000) (Correct)
0.2: PAPER Special Section on Concurrent Systems Technology - Propositional Temporal Linear (Correct)
0.2: Applications of Linear Logic to Computation: An Overview - Alexiev (1993) (Correct)
Similar documents based on text: More All
0.2: Distributed Simulation of High-Level Algebraic Petri Nets with.. - Djemame (1999) (Correct)
0.2: Safe programming of PLC using formal verification methods - De Smet, Couffin.. (2000) (Correct)
0.2: Well-Abstracted Transition Systems: Application to FIFO.. - Finkel, Iyer, Sutre (2000) (Correct)
BibTeX entry: (Update)
@article{ belala00concurrent,
author = "F. Belala and M. Bettaz and L. Petrucci",
title = "Concurrent systems analysis using {ECATNets}",
journal = "Logic Journal of the IGPL",
volume = "8",
number = "2",
pages = "149--164",
year = "2000",
url = "citeseer.ist.psu.edu/442505.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard, Logic - 1987
51 Autonomous Categories and Cofree Coalgebras (context) - Seely, Logic
43 Games Semantics for Linear Logic (context) - Lafont, Streicher
41 Theoretical Computer Science (context) - Reisig, Nets et al. - 1991
33 From Petri Nets to Linear Logic (context) - Marti-Oliet, Meseguer - 1989
32 Petri Nets as Models of Linear Logic - Egberg, Winskel - 1990
25 Nets as Tensor Theories (context) - Gunter, Gehlot - 1989
19 Proofs as Computations (context) - Asperti, Ferrari et al. - 1990
15 Relating Petri Nets to Formulae of Linear Logic (context) - Brown - 1989
12 High-level Nets and Linear Logic (context) - Lilius - 1992
8 Rewriting Logic as a Logical and Semantic Frameworks (context) - Marti-Oliet, Meseguer
7 Linear Logic as a tool for reasoning on a Petri Net model (context) - Girault, Pradin-Chezalviel et al. - 1995
2 ECATNet Behaviours in Rewriting Logic (context) - Belala, Bettaz
2 Lecture Notes in Computer Science Vol (context) - Egberg, Winskel et al. - 1993
2 Maouche: Modeling of Object Based Systems With Hidden Sorted.. (context) - Bettaz
1 Semantique des ECATNets en termes de CPNets: Application aun.. (context) - Belala, Petrucci - 1997
1 Reggio: A SMoLCS Based Kit for Defining the Semantics of Alg.. (context) - Bettaz - 1994
Documents on the same site (http://www3.oup.co.uk/igpl/Volume_08/Issue_02/): More
Normal Gentzen Deductions in the Classical Case - Palmigiano (Correct)
Logic Journal - Of The Editor-In-Chief (Correct)
General Patterns for Nonmonotonic Reasoning: From Basic.. - Arieli, Avron (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC