Title
PROCOL: a protocol-constrained concurrent object-oriented language
Abstract
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.
Year
DOI
Venue
1989
10.1145/67387.67428
Inf. Process. Lett.
Keywords
Field
DocType
object oriented languages,operating systems,interaction,process control,parallel processing,protocols,programming languages,communication
Programming language,Data transfer object,Identifier,Object-oriented programming,Computer science,SAFER,Verifiable secret sharing,Access control,Process control,Transmission protocol
Journal
Volume
Issue
Citations 
32
5
4
PageRank 
References 
Authors
1.27
4
2
Name
Order
Citations
PageRank
Jan Van Den Bos19167.60
jan251.88