Towards an object calculus
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Functions as processesPublished by Springer Nature ,2005
- Contracts: specifying behavioral compositions in object-oriented systemsACM SIGPLAN Notices, 1990
- Mixin-based inheritanceACM SIGPLAN Notices, 1990
- A parallel object-oriented language with inheritance and subtypingACM SIGPLAN Notices, 1990
- A logical theory of concurrent objectsACM SIGPLAN Notices, 1990
- Viewing object as patterns of communicating agentsACM SIGPLAN Notices, 1990
- A denotational semantics of inheritance and its correctnessACM SIGPLAN Notices, 1989
- How to write parallel programs: a guide to the perplexedACM Computing Surveys, 1989
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Viewing control structures as patterns of passing messagesArtificial Intelligence, 1977