A protocol for program migration.

Sub Ramakrishnan

Published in: LCN (1989)

Keyphrases

computer programs
lightweight
database
formal analysis
programming environment
tcp ip
network simulator
network protocols
coloured petri nets