Concurrent Programming, Open Systems and Formal Methods Essays Dedicated to Gul Agha to Celebrate His Scientific Career Meseguer Jose Heftet / 2025 / Engelsk
