sentence1: in the same line , recently in , an interaction logic with one successor is developed for the description of parametric systems capturing rendezvous and broadcast communications as well as the architectures of the systems .
sentence2: in the same line in , an interaction logic with one successor is developed for the description of parametric systems capturing rendezvous and broadcast communications as well as the architectures of the systems .