The notion of a timed register and its application to indulgent synchronization.

Michel Raynal Gadi Taubenfeld

Published in: SPAA (2007)

Keyphrases

petri net
formal model
genetic algorithm
artificial intelligence
markov chain
timed automata
real time
data sets