Structured Operational Sematics for Process Algebras and Equational Axiom Systems.

Published in: CONCUR (1993)

Keyphrases

computer systems
complex systems
data sets
databases
real world
decision making
database systems
evolutionary algorithm
intelligent systems
real time
information retrieval
web services
knowledge based systems
process model