Generalizing lookahead—behavioral prediction in distributed simulation
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
CPO semantics of timed interactive actor networks
Theoretical Computer Science
On fixed points of strictly causal functions
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
Hi-index | 0.00 |