Static checking of interprocess communication in ECSP.

Fabrizio Baiardi Laura Ricci Marco Vanneschi

Published in: SIGPLAN Symposium on Compiler Construction (1984)

Keyphrases

interprocess communication
data sharing
distributed environment
parallel execution
operating system
shared memory
database
relational databases
distributed systems
intelligent agents