Object-oriented concurrent programming ABCL/1
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Unifying functional, object-oriented and relational programming with logical semantics
Research directions in object-oriented programming
Concurrent term rewriting as a model of computation
Proc. of a workshop on Graph reduction
Concurrent programming using actors
Object-oriented concurrent programming
Parallel program design: a foundation
Parallel program design: a foundation
1st international workshop on Conditional Term Rewriting Systems
Communication and concurrency
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Rewriting as a unified model of concurrency
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Handbook of theoretical computer science (vol. B)
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
Net-Based Description Of Parallel Object-Based Systems, or POTs and POPs
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
From Petri Nets to Linear Logic
Category Theory and Computer Science
Foundations of Actor Semantics
Foundations of Actor Semantics
Communication as fair distribution of knowledge
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Introduction to the literature on object-oriented design, programming, and languages
ACM SIGPLAN OOPS Messenger
Rewriting as a unified model of concurrency
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
ICS '92 Proceedings of the 6th international conference on Supercomputing
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
A Partial Order Event Model for Concurrent Objects
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
Mapping modular SOS to rewriting logic
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Twenty years of rewriting logic
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Fostering proof scores in CafeOBJ
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Computer Languages
| Hi-index | 0.00 |
A new theory of concurrent objects is presented. The theory has the important advantage of being based directly on a logic called rewriting logic in which concurrent object-oriented computation exactly corresponds to logical deduction. This deduction is performed by concurrent rewriting modulo structural axioms of associativity, commutativity and identity that capture abstractly the essential aspects of communication in a distributed object-oriented configuration made up of concurrent objects and messages. Thanks to this axiomatization, it becomes possible to study the behavior of concurrent objects by formal methods in a logic intrinsic to their computation. The relationship with Actors and with other models of concurrent computation is also discussed. A direct fruit of this theory is a new language, called Maude, to program concurrent object-oriented modules in an entirely declarative way using rewriting logic; modules written in this language are used to illustrate the main ideas with examples. Maude contains OBJ3 as a functional sublanguage and provides a simple and semantically rigorous integration of functional programming and concurrent object-oriented programming.