Login / Signup

Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes.

Lígia Maria Soares PassosStéphane Julia
Published in: ICTAI (2014)
Keyphrases
  • linear logic
  • workflow processes
  • fixed point
  • cut elimination
  • business process
  • logical framework
  • artificial intelligence
  • graphical models
  • logic programming
  • business processes
  • sequent calculus