Coinduction in Concurrent Timed Systems.

Published in: CMCS (2010)

Keyphrases

knowledge based systems
data mining
machine learning
case study
distributed systems
intelligent systems
complex systems
retrieval systems
information technology
evolutionary algorithm
building blocks
petri net
real time systems