Publication Search Form




We found publication with these paramters.

Focussing Proof-Net Construction as a Middleware Paradigm

Jean-Marc Andreoli
This paper introduces a new formulation of the computational paradigm based on proof-construction in terms of proof-nets. It shows the relevance of this paradigm, thus formulated, to capture some of the fundamental mechanisms of distributed computation (and in particular, transaction mechanisms), which are familiar concepts of middleware infrastructures. It therefore constitues a first step in the direction of the definition of a steady conceptual framework in which to formalise and study various middleware notions, which, until now, have essentially been studied through ad-hoc and diverse formalisms.
Proc. of Conference on Automated Deduction (CADE), Copenhagen, Denmark, July 27-30, 2002.