Complete Calculi for Structured Specifications in Fork Algebra.

Carlos Gustavo López Pombo Marcelo Fabiùn Frias

Published in: ICTAC (2010)

Keyphrases

interval algebra
delay insensitive
structured data
data sets
neural network
information retrieval
information systems
data model
query language
formal specification
control flow