Characterising Concurrent Histories.

Ryszard Janicki Jetty Kleijn Maciej Koutny Lukasz Mikulski

Published in: Fundam. Informaticae (2015)

Keyphrases

mutual exclusion
concurrent execution
genetic algorithm
real time
e learning
three dimensional
special case
hybrid automata