Concurrency in object oriented language Actel

This paper presents features of an object based concurrent language called Actel. In particular, it introduces the mechanisms of inter and intra-object concurrency and synchronisation. Inter object concurrency is achieved with conventional message passing (value and priority) and also with a new mode of message passing called the semi-reference. Intra-object concurrency may be achieved with parallel functions, parallel compound statements, simultaneous compound statement, and multiple methods invocation. Synchronisation may be achieved with simple, multiple, or overloaded future variables. An example illustrates various Actel features