Modeling Session Initiation Protocol with Extended Finite State Machines.

Wenhui Sun Feng Liu Gang Dai Honghui Li

Published in: PDCAT (2007)

Keyphrases

finite state machines
finite state automata
model checking
real time
regular expressions
database
database systems
online learning
load balancing
end to end
session initiation protocol