A Concurrent Program Logic with a Future and History.

Roland Meyer Thomas Wies Sebastian Wolff

Published in: CoRR (2022)

Keyphrases

long term
historical information
concurrent programming
logic programming
multi valued
classical logic
concurrent programs
neural network
artificial intelligence
information systems
modal logic
current status
program execution
programs written