1 Hit in 9.6 sec

Optimale Partner offener Systeme [article]

Jan Sürmeli, Humboldt-Universität Zu Berlin, Humboldt-Universität Zu Berlin
Formale Methoden der Modellierung, Analyse und Synthese ermöglichen die systematische Konstruktion eines korrekten Systems durch Komposition von Partnern.  ...  The composition L+R of two open systems L and R can be faulty: For instance, the components deadlock (i.e. mutually wait for each other) or require an unbounded amount of memory.  ...  In: Proceedings of the 4th Central-European Workshop on Services and their Composition, ZEUS-2012, Bamberg, Germany, February 23-24, 2012. 2012, S. 17–24 (siehe S. 224).  ... 
doi:10.18452/17208 fatcat:7u32wzintbahvldyspfuw7boim