Add to ORKGThe chief purpose of this paper is to appraise the feasibility of Girad's linear logic as a specification language for parallel processes. To this end we propose an interpretation of linear logic in Petri nets, with respect to which we investigate the expressive power of the logic
In classical logic, the formalisation of the Petri net token game faces the invariance of truth. In ...
Linear logic, introduced by Girard in 1987, has been called a resource conscious logic. In order to ...
Submitted to a Journal. Rapport interne.In this paper, in contrast with previous proof-theoretic stu...
The chief purpose of this paper is to appraise the feasibility of Girard's linear logic as a s...
Completeness is shown for several versions of Girard's linear logic with respect to Petri nets ...
AbstractCompleteness is shown for several versions of Girard's linear logic with respect to Petri ne...
Article dans revue scientifique avec comité de lecture.Linear logic is a logic of actions which seem...
Linear logic is a logic of actions which seems well suited to various computer science applications....
AbstractLinear logic is a logic of actions which seems well suited to various computer science appli...
We encode the execution of Petri nets in Partially Commutative Linear Logic, an intuitionistic logic...
This paper defines a category GNet with object set all Petri nets. A morphism in GNet from a net N t...
AbstractLinear Logic was introduced by Girard as a resource-sensitive refinement of classical logic....
AbstractThis paper presents a framework for giving a compositional theory of Petri nets using catego...
The paper reports on an experiment with the major linear logic programming languages defined in the ...
Linear logic was introduced by Girard in 1987 [11]. Since then many results have supported Girard&ap...
In classical logic, the formalisation of the Petri net token game faces the invariance of truth. In ...
Linear logic, introduced by Girard in 1987, has been called a resource conscious logic. In order to ...
Submitted to a Journal. Rapport interne.In this paper, in contrast with previous proof-theoretic stu...
The chief purpose of this paper is to appraise the feasibility of Girard's linear logic as a s...
Completeness is shown for several versions of Girard's linear logic with respect to Petri nets ...
AbstractCompleteness is shown for several versions of Girard's linear logic with respect to Petri ne...
Article dans revue scientifique avec comité de lecture.Linear logic is a logic of actions which seem...
Linear logic is a logic of actions which seems well suited to various computer science applications....
AbstractLinear logic is a logic of actions which seems well suited to various computer science appli...
We encode the execution of Petri nets in Partially Commutative Linear Logic, an intuitionistic logic...
This paper defines a category GNet with object set all Petri nets. A morphism in GNet from a net N t...
AbstractLinear Logic was introduced by Girard as a resource-sensitive refinement of classical logic....
AbstractThis paper presents a framework for giving a compositional theory of Petri nets using catego...
The paper reports on an experiment with the major linear logic programming languages defined in the ...
Linear logic was introduced by Girard in 1987 [11]. Since then many results have supported Girard&ap...
In classical logic, the formalisation of the Petri net token game faces the invariance of truth. In ...
Linear logic, introduced by Girard in 1987, has been called a resource conscious logic. In order to ...
Submitted to a Journal. Rapport interne.In this paper, in contrast with previous proof-theoretic stu...