Changeable interfaces and promised messages for concurrent components
Franz Puntigam, Christof Peter · 1999
Statically checked process types ensure that a server understands all messages sent by (concurrent) clients.although the acceptability of messages may change dynamically.But. as proposed so far, process types do not ensure that ser\'ers return appropriate answers.In this paper an extension is proposed: Servers must send promised messages (to return results), possibly after receiving further messages.-4 type checker statically ensures that promised messages cannot be involved in deadlocks and lifelocks.The proposed type concept supports subtyping as well as separate compilation.'This work was supported by the FWF.project "Static Process Types for Active Objects" (P12703-INF).