Description and Verification of Mobile Processes with Graph Rewriting Techniques

by Barbara König
Citations:5 - 4 self