Takayuki Tachikawa

Learn More
In distributed applications, a group of application processes is established and the processes in the group communicate with one another, i.e. intra-group communication. Here, messages have to be reliably and causally delivered to all the destinations. In addition, the processes send messages to any subset of the group at any time. This paper presents an(More)
In distributed applications, a group of multiple objects are cooperating to achieve some objectives. An object is modeled as a pair of data structure and operations. Each object is manipulated through an operation supported by the object and then the operation may further invoke operations of other objects, i.e. nested operations. The purpose-oriented(More)
To clarify the yet controversial fine structure of Hirano bodies, we made three-dimensional observations of the tissues from the right hippocampus obtained at autopsy of elderly patients by the quick-freeze, deep-etch and replica method. The basic structure of Hirano bodies was a unit lamella, a closely attached pair of sheets composed of parallel-running(More)
In distributed applications, a group of multiple objects are cooperating to achieve some objectives by exchanging messages through communication networks. An object is modeled as a pair of data structure and operations. In the cooperation among multiple objects, it is important to protect against illegal information ow among the objects. In this paper, we(More)
This paper proposes a novel algorithm for taking checkpoints and rolling back the processes for recovery in asynchronous distributed systems. The algorithm has the following properties: (1) Multiple processes can simultaneously initiate the checkpointing. (2) No additional message is transmitted for taking checkpoints. (3) A set of local checkpoints taken(More)