The Application of LOTOS for the Formal Description of the ISO Session Layer.

Marten van Sinderen Ibrahim Ajubi Fausto Caneschi

Published in: FORTE (1988)

Keyphrases

data sets
web search
databases
database
real world
data mining
information retrieval
data structure
lower bound
decision support