Formal Methods and Agent-Based Systems -- A Process-Algebraic Agent Abstraction --