Processes and unfoldings: concurrent computations in adhesive categories