Sciweavers

2 search results - page 1 / 1
» Extending Mixed Serialisation Graphs to Replicated Environme...
Sort
View
IEEEARES
2008
IEEE
13 years 11 months ago
Extending Mixed Serialisation Graphs to Replicated Environments
Josep M. Bernabé-Gisbert, Francesc D. Mu&nt...
CONCUR
1998
Springer
13 years 9 months ago
Algebraic Techniques for Timed Systems
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...
Albert Benveniste, Claude Jard, Stephane Gaubert