Concurrent and distributed systems and computing