Concurrency and Data Types: A Specification Method: An Example with LOTOS.

Pascal Poizat Christine Choppy Jean-Claude Royer

Published in: WADT (1998)

Keyphrases

data types
preprocessing
database systems
data model
similarity measure
user defined
database
data sets
information retrieval
query processing