Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach.

Giuseppe De Giacomo, Xiao Jun Chen

Browse the full AAAI paper archive.