Welcome to the page of the Real-Time and Concurrent Systems Group, which has as main objectives the design, analysis and implementation of concurrent and distributed systems.