Although the general concepts provided by the standard concurrency control theory (e. g. [BHG87]) remain a solid guide for systems behavior and design, a look at implementation-driven research (e. g. ARIES/IM [ML92]) shows that there is a nontrivial gap between the usual abstract model and practical DBMS situations. For example, most theoretical work on concurrency control has ignored access to...

A formal framework for specifying and developing agents/robots must handle not only knowledge and sensing actions, but also time and concurrency. Researchers have extended the situation calculus to handle knowledge and sensing actions. Other researchers have addressed the issue of adding time and concurrent actions. Here both of these features are combined into a uni£ed logical theory of knowle...

As with all aspects of computing, there are four main strands to teaching concurrency, viz hardware, theory, applications and programming, with programming linking the other three together. The basic requirements for practical work for each of these strands are discussed, and the problems of meeting these requirements. These have usually limited practical work in concurrency either to theoretic...

The 9th Issue of LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) contains revised and extended versions of a selection of the best papers from the workshops held at the 34th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2013, Milan, Italy, during 24–28 June 2013), and 13th International Conference on Application of Concurre...

The algebraic specification and representation of networks agents have been greatly impacted by the study reversible phenomena: declensions calculus communicating systems (CCSK RCCS) offer new semantic models, finer congruence relations, original properties, revisits existing theories results in a light. But much remains to be done: concurrency, central notion establishing causal consistency–a ...

c M. Raynal, Concurrent objects: entering a modern era 2 The world is changing • Concurrency in multiprocessors is true concurrency • It follows that the concurrency concepts and techniques used to cope with multiplexing or interrupt handling are no longer appropriate, and must be revisited to address the current computing world • " Changes in technology can have far-reaching effects on theory....