Liveness in Interaction Systems

Martens, Moritz

livenesstr2.pdf - Published

Download (158kB)

URN: urn:nbn:de:bsz:180-madoc-13866
Document Type: Working paper
Year of publication: 2007
The title of a journal, publication series: None
Publication language: English
Institution: School of Business Informatics and Mathematics > Sonstige - Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik
MADOC publication series: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Subject: 004 Computer science, internet
Subject headings (SWD): Komponenten , Liveness
Keywords (English): 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.
Additional information:

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

Metadata export


+ Search Authors in

+ Download Statistics

Downloads per month over past year

View more statistics

You have found an error? Please let us know about your desired correction here: E-Mail

Actions (login required)

Show item Show item