Relating State-Based and Process-Based Concurrency through Linear Logic.

Iliano Cervesato Andre Scedrov

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

linear logic
artificial intelligence
database systems
probability distribution
higher order
default reasoning
wide class