Liveness Analysis and the Automatic Generation of Concurrent Programs.

Ugo A. Buy Robert Moll

Published in: CAV (DIMACS/AMS volume) (1990)

Keyphrases

databases
artificial intelligence
response time