Liveness in Interaction Systems


Martens, Moritz


[img]
Vorschau
PDF
livenesstr2.pdf - Veröffentlichte Version

Download (158kB)

URL: http://ub-madoc.bib.uni-mannheim.de/1386
URN: urn:nbn:de:bsz:180-madoc-13866
Dokumenttyp: Arbeitspapier
Erscheinungsjahr: 2007
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Sonstige - Fakultät für Mathematik und Informatik
MADOC-Schriftenreihe: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Fachgebiet: 004 Informatik
Normierte Schlagwörter (SWD): Komponenten , Liveness
Freie Schlagwörter (Englisch): Components , Liveness
Abstract: Interaction systems are a formal model for component-based systems. It has been shown that in this formalism the question whether a component is live is NP-hard. Therefore it is desirable to find sufficient criteria that can be checked in polynomial time. In this report we present the proofs of propositions concerning such criteria that have been given in previous work. We also present the proof of a characterization of liveness that has also been introduced previously.
Zusätzliche Informationen:

Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.




+ Zitationsbeispiel und Export

Martens, Moritz (2007) Liveness in Interaction Systems. [Arbeitspapier]
[img]
Vorschau



+ Suche Autoren in

+ Download-Statistik

Downloads im letzten Jahr

Detailierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen