Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties.

Jonathan Billington Bing Han

Published in: Fundam. Informaticae (2007)

Keyphrases

data transfer
data access
data transmission
data flow
parallel computers
end to end
file system
web access
host computer
data mining
machine learning
distributed databases
data management
finite state machines
high level
web services
social networks