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