CONCUR
1998
Springer
14 years 6 months ago
1998
Springer
CONCUR
1998
Springer
14 years 6 months ago
1998
Springer
Alternating transition systems are a general model for composite systems which allow the study of collaborative as well as adversarial relationships between individual system compo...
CONCUR
1998
Springer
14 years 6 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
CONCUR
1998
Springer
14 years 6 months ago
1998
Springer
In this paper we solve the following problem: \given a digital circuit composed of gates whose real-valued delays are in an integerbounded interval, is there a way to discretize ti...