@inproceedings{b28b08ff4ef747808a91cda60f847494,
title = "A logical theory of concurrent objects",
abstract = "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 Dther 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.",
author = "Jos{\'e} Meseguer",
note = "Funding Information: C-0086 and N00014-88-C-0618, and NSF Grant CCR-8707155. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commerciill advantage, the ACM copyright notice and the title of the publication and date appear, and notice is given that copying is by permission of the Association for Computing Machinery. To copy otherwise, or to republish, requires a fee end/or specific permission. c 1990 ACM 083791-411-2/90/3010-0101...$1.50 Publisher Copyright: {\textcopyright} 1990 ACM.; 1990 European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990 ; Conference date: 21-10-1990 Through 25-10-1990",
year = "1990",
month = sep,
day = "1",
doi = "10.1145/97945.97958",
language = "English (US)",
series = "Proceedings of the European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990",
publisher = "Association for Computing Machinery",
pages = "101--115",
booktitle = "Proceedings of the European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990",
address = "United States",
}