Process-Algebraic Approaches for Multi-Agent Systems: An Overview