De Giacomo, Giuseppe and Xiao Jun Chen: Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. To be presented at: National US Conf on Artificial Intelligence, 1996. Topics: [process-alg], [concurrency], [nondeterminism]. Code: [Giacomo96A].