Modelling and programming in an object-oriented concurrent language ABCL/1
Object-oriented concurrent programming
Pool-T: a parallel object-oriented language
Object-oriented concurrent programming
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Systematic concurrent object-oriented programming
Communications of the ACM
Concurrency annotations for reusable software
Communications of the ACM
Toward a method of object-oriented concurrent programming
Communications of the ACM
CSC '94 Proceedings of the 22nd annual ACM computer science conference on Scaling up : meeting the challenge of complexity in real-world computing applications: meeting the challenge of complexity in real-world computing applications
Fuzzy sets and fuzzy logic: theory and applications
Fuzzy sets and fuzzy logic: theory and applications
Fuzzy routing control of service request messages in an individual computing environment
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
The structure of the “THE”-multiprogramming system
Communications of the ACM
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Knowledge and common knowledge in a distributed environment
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
| Hi-index | 0.00 |
Writing concurrent programs in the Object-Oriented Programming (OOP) environment is a challenge. In this paper, we present a knowledge-based solution in which program properties are specifiable and verifiable. We demonstrate the usefulness of the solution by solving the mutual exclusion problem [4] for a set of processes competing for a method in a class.