Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata.

Mahdi Niamanesh Rasool Jalili

Published in: FSEN (2007)

Keyphrases

communication protocols
input output
communication protocol
communication networks
finite automata
tree automata
main memory
regular expressions
protocol specification
hard constraints
soft constraints
finite state machines
social networks
file system
cellular automata
end users
data analysis