Linear Logic as a Tool for Weak Soundness Verification for Interorganizational Workflow Processes.

Lígia Maria Soares Passos Stéphane Julia

Published in: ICTAI (2016)

Keyphrases

linear logic
workflow processes
grid workflow
business processes
fixed point
business process
logical framework
logic programming
workflow management systems
sequent calculus