Concurrency and Communication in Transaction Logic