Algebraic Specification of Concurrent Systems