procol: a protocol-constrained concurrent object-oriented language
PROCOL is a simple concurrent object-oriented language supporting a distributed, incremental and dynamic object environment. Its communication is based on unidirectional messages. Objects are only bound during actual message transfer and not during the processing of the message. This short duration object binding promotes parallelism. The communication leading to access has to obey an explicit protocol in each object. It takes the form of a specification of the occurrence and sequencing of the interaction between the object and its communication partners. The use of such protocols fosters structured, safer and potentially verifiable communication between objects.
concurrency object distributed incremental dynamic environments communication message process binding parallel access sequence interaction use structure object oriented language