How to Make Concurrent Programs Highly Reliable- More than State Space Analysis.

Naoshi Uchihira

Published in: ACSD (1998)

Keyphrases

highly reliable
state space
heuristic search
real time
artificial intelligence
natural language
concurrent programs