Specification and Verification of Concurrent Systems | lit.salon