Liveness in Interaction Systems

Martens, Moritz

Preview

PDF
livenesstr2.pdf - Published
Download (158kB)

URL:	http://ub-madoc.bib.uni-mannheim.de/1386
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.

BASE: Martens, Moritz

Google Scholar: Martens, Moritz

Downloads per month over past year

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

Show item