A Linear Logic Based Approach for Generating Deadlock Adapters.

Published in: APSCC (2010)

Keyphrases

linear logic
input output
fixed point
proof theoretic
desirable properties
cut elimination
logical framework
sequent calculus
proof search
logic programming
inference rules
markov random field
pairwise
sufficient conditions