Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification.

Lígia Maria Soares Passos Stéphane Julia

Published in: SMC (2009)

Keyphrases

qualitative analysis
linear logic
quantitative analysis
content analysis
fixed point
logic programming
logical framework
proof theoretic
sequent calculus
model checking
fault tree
cut elimination
intuitionistic logic
desirable properties
formal verification
petri net
programming language
object oriented