Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach

by Giuseppe De Giacomo , Xiao Jun Chen
Citations:15 - 4 self