Executable denotations for concurrent languages using Concurrent Transaction Logic.

Marcus Vinicius Santos

Published in: WLP (2006)

Keyphrases

database
mutual exclusion
long running
concurrent execution
concurrent processes
concurrent programs
neural network
expressive power