Synthesis Oriented Scheduling of Multiparty Rendezvous in Transaction Level Models | IEEE Conference Publication | IEEE Xplore