Parametrisierte Systeme sind verteilte Systeme mit einer beliebigen Anzahl von teilnehmenden Agenten. Wir untersuchen, ob eine gegebene Eigenschaft für jede beliebige Population von Agenten gilt. Wir betrachten zwei Ansätze, nämlich die Theorie der Wohl-Quasi-Ordnungen und Entscheidungsprozeduren für lineare arithmetische Theorien. Auf der Basis dieser beiden Ansätze präsentieren wir Ergebnisse zur Komplexität einer Reihe von Eigenschaften von verschiedenen Klassen von parametrisierten Systemen.     «

Parametrisierte Systeme sind verteilte Systeme mit einer beliebigen Anzahl von teilnehmenden Agenten. Wir untersuchen, ob eine gegebene Eigenschaft für jede beliebige Population von Agenten gilt. Wir betrachten zwei Ansätze, nämlich die Theorie der Wohl-Quasi-Ordnungen und Entscheidungsprozeduren für lineare arithmetische Theorien. Auf der Basis dieser beiden Ansätze präsentieren wir Ergebnisse zur Komplexität einer Reihe von Eigenschaften von verschiedenen Klassen von parametrisierten Systemen...     »