Liveness in Interaction Systems | Zendy

Mila Majster-Cederbaum | Zendy; Moritz Martens | Zendy; Christoph Minnameier | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Liveness in Interaction Systems

Author(s) -

Mila Majster-Cederbaum,

Moritz Martens,

Christoph Minnameier

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.06.021

Subject(s) - liveness , component (thermodynamics) , computer science , set (abstract data type) , property (philosophy) , characterization (materials science) , action (physics) , theoretical computer science , programming language , philosophy , physics , materials science , epistemology , quantum mechanics , thermodynamics , nanotechnology

Interaction systems were proposed and implemented by Sifakis et al. as a model for the design and study of component based systems. We investigate here the property of liveness in interaction systems where liveness of an action, a component or a set of components means that the action (component, set of components) will repeatedly participate in every run of the global system. We show that deciding liveness is NP-hard. Then we present a characterization of liveness. Finally, by exploiting local information, we establish a polynomial-time criterion that guarantees liveness. We combine the criterion with the characterization to obtain a test for liveness

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research