Detecting equivalence of modular specifications with categorical diagrams.

Catherine Oriat

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

Keyphrases

real time
categorical data
delay insensitive
modular structure
database
e learning
modular architecture
written in natural language