Messages in typed languages


Messages are increasingly being used for interprocess communication. The problem of introducing messages into typed languages is considered, and a solution in terms of typed message-channels is presented. Our particular treatment permits dynamic connexions, including secure linking of separately-compiled programmes, and also features nondeterminacy, thereby… (More)
DOI: 10.1145/954051.954053