Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis

Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis