Finite axiom systems for testing preorder and De Simone process languages.

Published in: Theor. Comput. Sci. (2000)

Keyphrases

management system
computer systems
process model
retrieval systems
database
learning algorithm
distributed systems
building blocks
complex systems
expressive power
testing process