Login / Signup
Automatically Proving Concurrent Programs Correct.
Byron Cook
Published in:
SEFM (2007)
Keyphrases
</>
concurrent programs
real time
artificial intelligence
distributed systems
description language
process algebra