Concurrency control is one of the major issues in database systems; therefore, many concurrency control algorithms based on different strategies have been proposed. Unfortunately there is still lack of a general model for describing these algorithms. ...

We describe our linguistic tool, Raddle, and its use in designing distributed systems. Raddle coordinates concurrent processes with the n-party interaction, a new high-level communication primitive. Another important feature of Raddle is the team, which ...