On Use of Operation Semantics for Parallel iSCSI Protocol.

Ranjana Singh Rekha Singhal

Published in: SCSS (1) (2007)

Keyphrases

parallel processing
formal semantics
wireless networks
semantic information
lightweight
formal analysis
correctness criterion
programming language
logic programming
shared memory
parallel implementation
massively parallel
distributed memory
operational semantics
tcp ip
communication protocols