41 search results - page 9 / 9 » Order-Incompleteness and Finite Lambda Models (Extended Abst... |
173
click to vote
CONCUR
1998
Springer
15 years 7 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...