Title: Tactics for state space reduction on the concurrency workbench