This paper presents a may-happen-in-parallel (MHP) analysis for OO languages based on concurrent objects. In this concurrency model, objects are the concurrency units such that, when a method is invoked on an object o2 from a task executing on object o1, statements of the current task in o1 may run in parallel with those of the (asynchronous) call on o2, and with those of transitively invoked m...

ion as a unifying link for formal approaches to concurrency

That's it, a book to wait for in this month. Even you have wanted for long time for releasing this book database concurrency control methods performance and analysis; you may not be able to get in some stress. Should you go around and seek fro the book until you really get it? Are you sure? Are you that free? This condition will force you to always end up to get a book. But now, we are coming t...

Several categories of models for concurrency involving topology have been put forward in each of which a notion of fundamental category is defined. One of them, the category of pospaces, is canonically included in almost all the others. Given a pospace −→ X and i( −→ X ), the image of −→ X by the inclusion i of PoTop in some of the other category in which the fundamental category is defined, it...

Real-time database system must meet time constraints in addition to the integrity constraints. Concurrency control is one of the main issues in the studies of real-time database systems. Traditional concurrency control methods use serializability as the correctness criterion when transactions are executed concurrently. However, strict serializability as the correctness criterion is not always s...

Resource allocation is an essential class of problems, which includes many fundamental concurrency control problems. A signi cant amount of research has been devoted to the group of these problems, which share a common part in their name: philosophers (dining, drinking, mobile,...) We survey some of the main developments in this eld.

This paper describes a design data management method in a distributed design environment. This method i s based on the detection of the difference between the original design data and modified design data. One of the advantages of this method is that the precise difference can be identified among versions. Exploiting this feature, the history of modifications of design data can be traced and th...