ML Anthology

Chen, Xiao Jun

1 publications

AAAI 1996 Reasoning About Nondeterministic and Concurrent Actions: A Process Algebra Approach Giuseppe De Giacomo, Xiao Jun Chen