Sign in
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