Logic, Algebra, and Formal Verification of Concurrent Systems