Functional features of a calculus for logic and concurrency