Concurrent programming using actors
Object-oriented concurrent programming
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
A framework for programming and formalizing concurrent objects
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Parallel Programmming in Maude
Research Directions in High-Level Parallel Programming Languages
Designing an Object-Oriented Programming Language with Behavioural Subtyping
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Tutorial 2: A Foundation for Composing Concurrent Objects
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Hi-index | 0.01 |
We present a tableau method for the temporal logic of concurrent objects. This method, which combines tableaux and model checking, is based on the semantics of systems written in an object-oriented programming model and a three level logic: action (Hoare triple-like notation), object (temporal logic allowing stuttering-states), and system (linear temporal logic taking into account communication axioms) [BMS95]. The particularity of this method is that it ensures, once a formula proved valid, that every execution of our programming model satisfies this formula.