• Publications
  • Influence
An Object Calculus for Asynchronous Communication
TLDR
This paper presents a formal system based on the notion of objects and asynchronous communication, which makes it unique among various concurrency formalisms. Expand
  • 651
  • 42
Al-1/d: a distributed programming system with multi-model reflection framework
TLDR
We have proposed the Multi-Model Re ection Framework where an object is described by multiple models each of which abstracts the object behavior in the di erent level, i.e., from the operating system level to a high-level programming language level. Expand
  • 98
  • 7
Object-oriented concurrent programming
TLDR
This book deals with a major theme of the Japanese Fifth Generation Project, which emphasizes logic programming, parallelism, and distributed systems. Expand
  • 317
  • 6
On Asynchronous Communication Semantics
TLDR
This paper presents some results concerning equational theories for an elementary calculus based on a fragment of Milner's π-calculus. Expand
  • 147
  • 6
A Typing System for a Calculus of Objects
TLDR
We introduce an implicitly typed object calculus intended to capture intrinsic aspects of concurrent objects communicating via asynchronous message passing, together with a typing system assigning typings to terms in the calculus. Expand
  • 68
  • 4
A network architecture providing host migration transparency
TLDR
This paper introduces a new network architecture which provides host migration transparency in large interconnected networks and proposes a protocol based on the propagating cache method. Expand
  • 122
  • 3
Concurrent programming in concurrent Smalltalk
  • 61
  • 3
Adaptation toward Changing Environments: Why Darwinian in Nature?
TLDR
The processes of adaptation in a multi-agent system consist of two complementary phases: 1) learning, occurring within each agent's individual lifetime, and 2) evolution, occurring over successive generations of the population. Expand
  • 55
  • 3
Open Systems Dependability
TLDR
• Demands for the dependability of huge and complex software systems – which include black box software such as legacy codes and off the shelf components – which are connected to networks that may cause security and integrity problems D d f i ith i t l d • eman s or cop ng w env ronmen a an requirement changes in operation – functions, user interfaces, performance, etc . Expand
  • 8
  • 3
  • PDF
...
1
2
3
4
5
...