Processor Bus Protocol.

Kanna Shimizu David L. Dill Ching-Tsun Chou

Published in: CHARME (2001)

Keyphrases

high speed
lightweight
parallel processing
formal analysis
real time
network protocols
security protocols
communication protocol
single chip
coloured petri nets
cryptographic protocols
tcp ip
high end
end to end
instruction set
multiprocessor systems
low cost
multi agent