Fourth International Workshop on

Recent Advances in Concurrency and Logic

RADICAL 2025