Using data flow algebra to analyse the alternating bit protocol.

Anthony J. Cowling M. C. Nike

Published in: Software Engineering for Parallel and Distributed Systems (1996)

Keyphrases

data flow
database machine
control flow
lightweight
object oriented software
data model
digital signal processing
systolic array
data transfer
object oriented
bottle neck
database
relational algebra
cryptographic protocols
workflow model
tcp ip
case study