We investigate ways for the exchange of information (explicit communication) among deaf and dumb mobile robots scattered in the plane. We introduce the use of movement-signals (analogously to flight signals and bees waggle) as a mean to transfer messages, enabling the use of distributed algorithms among the robots. We propose one-to-one deterministic movement protocols that implement explicit c...

In the next years, the well-known synchronous design style will not be able to keep pace with the increase of speed and capabilities of integration of advanced processes. Asynchronous design will become more and more common among digital designers, while synchronous-asynchronous interactions will emerge as a key issue in the future SoC designs. This paper will present test strategies for 2-phas...

The influence of synchronous and asynchronous migration on the performance of adaptive differential evolution algorithms is investigated. Six adaptive differential evolution variants are employed by the parallel migration model with a star topology. Synchronous and asynchronous migration models with various parameters settings were experimentally compared with non-parallel adaptive algorithms i...

With the advent of new routing methods, the distance to which a message is sent is becoming relatively less and less important. Thus assuming no link contention, permutation seems to be an e cient collective communication primitive. All-tomany communication is required for solving a large class of irregular and loosely synchronous problems on distributed memory MIMD machines. In this paper we p...

In the full π-calculus by Milner, Parrow and Walker [7] all communication is done by synchronous interaction between processes. In terms of knowledge, this situation has an important consequence, that is, common knowledge is achieved on every interaction. However, many communication scenarios that arise in Computer Science, require to consider asynchronous interaction. A common example can be f...

Binary decision diagrams (BDDs) are effective means to cope with complex concurrent system. But the size of BDD itself can be relatively large. We study the BDD representation of large synchronous, asynchronous and interleaved processes with communication via shared variables. Due to the features of communication, we introduce a novel representation strategy. Based on the model, we continue to ...

We propose an algebra of object types that characterises the semantics of concurrent objects in a process calculus setting where the communication is asynchronous. The types are non-uniform, and provide an internal (and synchronous) view of the objects that inhabit them. These ideas, along with the algebraic laws, are based on a notion of bisimulation that is unlike other notions in the literat...

Asynchrony being consubstantial with the Web, asynchronous communication and control patterns are ubiquitous at multiple scales in Web programs. They are used to program Web clients as well as Web servers. Browser HTML GUIs raise asynchronous events in reaction to user interactions. The Web browser DOM (Document Object Model) creates Web page elements asynchronously. Browser-toserver (AJAX) and...

DCR-2002, 16 July, Bologna Outline: • Motivation: real-time coordination of sensors in a high-latency network • Modeling coordination as graph colouring • Soft graph colouring for real-time responsiveness • A class of distributed anytime algorithms (synchronous) • Convergence • Tightness of constraints: conservative variant • Scalability and robustness • Asynchronous execution • Very high commu...