The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction.