The Coordination Language Facility and Applications

  • Authors:
  • Jean-Marc Andreoli

  • Affiliations:
  • -

  • Venue:
  • TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
  • Year:
  • 1999

Quantified Score

Hi-index 0.02

Visualization

Abstract

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.