A logical theory of concurrent objects
- 1 September 1990
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 25 (10) , 101-115
- https://doi.org/10.1145/97946.97958
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- The chemical abstract machinePublished by Association for Computing Machinery (ACM) ,1990
- ActorsPublished by MIT Press ,1986
- Object-oriented concurrent programming ABCL/1Published by Association for Computing Machinery (ACM) ,1986
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977