Recent Advances in Concurrency and Logic - RADICAL