Logical Analysis of Complex Concurrent Systems door Radu Mardare