Add to ORKGInteraction systems are a formal model for component-based systems. Combining components via connectors to form more complex systems may give rise to deadlock situations. In a system that has been shown to be deadlock-free one can ask if a set of components is live. We present here a polynomial time reduction from 3-SAT to the question whether a set of components is live in a deadlock-free system
AbstractLautenbach (1987) described an interesting method for the linear algebraic calculation of de...
AbstractInterleaved models of computations limit the number of system components that can change sta...
This dissertation is concerned with the theoretical analysis of component-based models for concurren...
Interaction systems are a formal model for component-based systems. Combining components via connect...
Interaction systems are a formal model for component-based systems. It has been shown that in this f...
AbstractInteraction systems were proposed and implemented by Sifakis et al. as a model for the desig...
We present a polynomial-time reduction from 3-SAT to DLIS, where DLIS is the set of interaction syst...
We exhibit sufficient conditions for generic properties of component based systems. The model we use...
We treat the effect of absence/failure of ports or components on properties of component-based syste...
Abstract. In Petri net systems, liveness is an important property cap-turing the idea of no transiti...
Part 6: Session 5: Model CheckingInternational audienceWe present a sound but incomplete criterion f...
Component-based development (CBD) is a promising approach to master design complexity. In addition, ...
The design of concurrent systems has to deal with the satisfaction of conditions of good behavior. I...
We present a simple but novel algorithm for checking liveness properties of finite-state systems, ca...
We propose results ensuring properties of a component-based system from properties of its interactio...
AbstractLautenbach (1987) described an interesting method for the linear algebraic calculation of de...
AbstractInterleaved models of computations limit the number of system components that can change sta...
This dissertation is concerned with the theoretical analysis of component-based models for concurren...
Interaction systems are a formal model for component-based systems. Combining components via connect...
Interaction systems are a formal model for component-based systems. It has been shown that in this f...
AbstractInteraction systems were proposed and implemented by Sifakis et al. as a model for the desig...
We present a polynomial-time reduction from 3-SAT to DLIS, where DLIS is the set of interaction syst...
We exhibit sufficient conditions for generic properties of component based systems. The model we use...
We treat the effect of absence/failure of ports or components on properties of component-based syste...
Abstract. In Petri net systems, liveness is an important property cap-turing the idea of no transiti...
Part 6: Session 5: Model CheckingInternational audienceWe present a sound but incomplete criterion f...
Component-based development (CBD) is a promising approach to master design complexity. In addition, ...
The design of concurrent systems has to deal with the satisfaction of conditions of good behavior. I...
We present a simple but novel algorithm for checking liveness properties of finite-state systems, ca...
We propose results ensuring properties of a component-based system from properties of its interactio...
AbstractLautenbach (1987) described an interesting method for the linear algebraic calculation of de...
AbstractInterleaved models of computations limit the number of system components that can change sta...
This dissertation is concerned with the theoretical analysis of component-based models for concurren...