A multiprocessor using protocol-based programming primitives.
Erik DeBenedictisPublished in: Int. J. Parallel Program. (1987)
Keyphrases
- lightweight
- programming language
- building blocks
- network protocols
- cryptographic protocols
- database machines
- computer programming
- security analysis
- coloured petri nets
- network simulator
- tcp ip
- communication protocol
- authentication protocol
- formal analysis
- highly parallel
- database systems
- distributed memory
- programming course
- object oriented programming
- low level