Logical Analysis of Complex Concurrent Systems by Radu Mardare