Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Abstraction and specification in program development
Abstraction and specification in program development
The C++ programming language
Vulcan: logical concurrent objects
Research directions in object-oriented programming
Inheritance and the development of encapsulated software systems
Research directions in object-oriented programming
Metaclasses are first class: The ObjVlisp Model
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Concurrent programming using actors
Object-oriented concurrent programming
A programmer's guide to object-oriented programming in Common LISP
A programmer's guide to object-oriented programming in Common LISP
Inheritance and synchronization with enabled-sets
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
A parallel object-oriented language with inheritance and subtyping
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Design and implementation of an object-oriented strongly typed language for distributed applications
Journal of Object-Oriented Programming
The existence of refinement mappings
Theoretical Computer Science
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
SIMULA: an ALGOL-based simulation language
Communications of the ACM
Concepts and paradigms of object-oriented programming
ACM SIGPLAN OOPS Messenger
Parallel Programmming in Maude
Research Directions in High-Level Parallel Programming Languages
A Model to Design Reusable Parallel Software Components
PARLE '92 Proceedings of the 4th International PARLE Conference on Parallel Architectures and Languages Europe
Inheritance in Actor Based Concurrent Object-Oriented Languages
Inheritance in Actor Based Concurrent Object-Oriented Languages
Decision Procedure for Temporal Logic of Concurrent Objects
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
| Hi-index | 0.00 |
We propose an object-oriented programming model based on concurrently executing communicating agents which aims to achieve reusability and extensibility of agent descriptions by separating aspects of functionality and synchronization. A formal semantics of an agent is given as a theory in the Temporal Logic of Actions [15] such that a system of agents is formalized by the conjunction of the single agents' specifications plus some axioms representing the communication structure. This representation allows for the formal derivation of systems properties. We terminate this paper by a discussion about the proof of inheritance properties in a parallel environment.