Title: Action structures for the (pi)-calculus
Subjects: Group actions (Mathematics), Monoids