Specification Diagrams for Actor Systems.

Scott F. Smith Carolyn L. Talcott

Published in: High. Order Symb. Comput. (2002)

Keyphrases

complex systems
database
neural network
genetic algorithm
computing systems
real time
data sets
data mining
website
building blocks
asynchronous circuits