Abstract:We describe here a structured system for distributed mechanism design appropriate for both Intranet and Internet applications. In our approach the players dynamically form a network in which they know neither their neighbours nor the size of the network and interact to jointly take decisions. The only assumption concerning the underlying communication layer is that for each pair of processes there is a path of neighbours connecting them. This allows us to deal with arbitrary network topologies. We also discuss the implementation of this system which consists of a sequence of layers. The lower layers deal with the operations that implement the basic primitives of distributed computing, namely low level communication and distributed termination, while the upper layers use these primitives to implement high level communication among players, including broadcasting and multicasting, and distributed decision making. This yields a highly flexible distributed system whose specific applications are realized as instances of its top layer. This design is implemented in Java. The system supports at various levels fault-tolerance and includes a provision for distributed policing the purpose of which is to exclude `dishonest' players. Also, it can be used for repeated creation of dynamically formed networks of players interested in a joint decision making implemented by means of a tax-based mechanism. We illustrate its flexibility by discussing a number of implemented examples.

Generalized Interface Automata with Multicast Synchronization.

Combined Controller Synthesis for a Class of Discrete Event Systems

Interface Automata——A Formal System for Components Composition

Abstract State Machine Design of Internetware Model

Generic Multicast (Extended Version)

On the Design,Implementation and Application of a Multicast Interface for Streaming Data

Multicast Design for the MobilityFirst Future Internet Architecture

Design and Implement Controllable Multicast Based Audio/Video Collaboration

Realization of IPv6 Multicast Interworking Between MANET and Fixed Networks

Generalized Cooperative Multicast in Mobile Ad Hoc Networks

Observer-Based Asynchronous Communication and Adaptive Control Protocols with Intermittent Updating and Interaction.

Model checking of hybrid systems using shallow synchronization

Design of a Scalable Multicast Scheme With an Application-Network Cross-Layer Approach

A Ring-based Reliable Multicast Protocol

Protocol Interoperability Test Generation Based on Communicating Multi-Port FSMs

A Communication Middleware with Unified Data Transmission Interface

Integration of unicast and multicast scheduling with low complexity

A System for Distributed Mechanisms: Design, Implementation and Applications

A taxonomy for generalized synchronization between flat-coupled systems

A General Packet Replication Scheme for Multicasting in Interconnection Networks

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques