Krzysztof R Apt

• Logic Programming Paradigm
• Logics and Models of Concurrent Systems