Constructing specific SOS semantics for concurrency via abstract interpretation