A new correctness criterion for MLL proof nets.

Published in: CSL-LICS (2014)

Keyphrases

correctness criterion
linear logic
integrity constraints
concurrency control
multidatabase systems
transaction management
correctness criteria
concurrency control protocols
replicated databases
data replication
real time
fixed point
knowledge representation
logic programming
theorem prover