Analysing Termination and Consistency in the AVB's Stream Reservation Protocol.

Daniel Bujosa Ines Alvarez Drago Cavka Julián Proenza

Published in: ETFA (2019)

Keyphrases

data streams
replicated data
lightweight
consistency checking
real time
snapshot isolation
data sets
term rewriting
cryptographic protocols
stream processing
active rules
tcp ip
formal analysis
constraint networks
sliding window
correctness criteria
file transfer
coloured petri nets