The Coordination Language Facility and Applications

  • Jean-Marc Andreoli
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1581)


This short paper gives a quick overview of CLF, a distributed object coordination middleware, and two applications of that platform to workflow. The driving concepts behind CLF derive from a reflection on proof search in Linear Logic, and in particular, the systematic exploitation of its resource conscious nature.


Electronic Commerce Linear Logic Prototype Application Proof Search Shopping Basket 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. And92.
    J-M. Andreoli: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 2(3), 1992.Google Scholar
  2. AP98.
    J-M. Andreoli and F. Pacull: Distributed print on demand systems in the xpect framework. Journal of Distributed and Parallel Databases, 1998. To appear.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Jean-Marc Andreoli
    • 1
  1. 1.Xerox Research Centre EuropeGrenobleFrance

Personalised recommendations