module multicast; behavior AcknowledgedMulticast{ SimpleActor[] actors; long initialTime; long ack(){ return System.currentTimeMillis() - initialTime; } void act(String[] args){ int howMany = Integer.parseInt(args[0]); SimpleActor[] actors = new SimpleActor[howMany]; for (int i = 0; i< howMany; i++){ actors[i] = new SimpleActor(); } initialTime = System.currentTimeMillis(); standardOutput<-print("Time for acknowledged multicast: ") @ join(actors<-m())@ack()@ standardOutput<-print @ standardOutput<-println(" ms."); } }