Technical Report SRI--CSL--90--07, pages 1-15 pp.. Menlo Park, CA, USA: SRI International, Computer Science Laboratory, July 1990.
Abstract: A theory of concurrent objects is presented which has the advantage of being based directly on rewriting logic in which concurrent object-oriented computation corresponds exactly to logical deduction. This deduction is performed by concurrent rewriting. A direct fruit of this theory is a new language, called Maude, to program concurrent object-oriented modules. Modules written in this language are used to illustrate the main ideas with examples. One example of a system module that illustrates both Maude's expressivness and the generality of the concurrent rewriting model is a Petri net. Maude contains OBJ3 as functional sublanguage.
Keywords: logical theory (of) concurrent objects; concurrent rewriting logic; Maude, concurrent object-oriented progamming language; OBJ3 language.