Models for Concurrency (Algebra, Logic & Applications)