This paper addresses issues related to guaranteeing synchronous messages with arbitrary deadline constraints in an FDDI network. We show that several network parameters must be set carefully if message deadlines are to be satissed. First, message deadlines can only be met if suucient synchronous bandwidth is allocated to each node. Thus, proper synchronous bandwidth allocation is essential if d...

This paper studies safety, progress, and non-zeno properties of Communicating Timed Automata (CTAs), which are timed automata (TA) extended with unbounded communication channels, and presents a procedure to build timed global specifications from systems of CTAs. We define safety and progress properties for CTAs by extending properties studied in communicating finitestate machines to the timed s...

I introduce irrational types, who are committed to their demands, into a bargaining model with an uncertain deadline for agreement. Rational agents imitate these demands, hoping to benefit from a “tough” reputation. When irrational types are committed to fixed demands and agents are patient, this provides an explanation for “deadline effects” in bargaining: agreement is “U-shaped”, occurring ei...