a class lecture and question and answer session a web chat, evolving to a 2 way call, progressing to a transferred 3-way call transitioning to a video conference a series of weekly status calls In support of these constructs, it may be desirable to aggregate a group of vCons as oppose...
In this paper, we are interested in the latter, i.e., parameterized case. Parameterized programs are ubiquitous and occur, e.g., in distributed algorithms, ad-hoc net- works, telecommunication protocols, cache-coherence protocols, swarm robotics, and biological systems. The synthesis question ...