Razvan Racu, Kai Richter, Rolf Ernst. Calculating Task Output Event Models to Reduce Distributed System Cost. In Dominik Stoffel, Wolfgang Kunz, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004. pages 1-10, Shaker, 2004.
Abstract is missing.