Titlebook: Elements of Distributed Algorithms; Modeling and Analysi Wolfgang Reisig Textbook 1998 Springer-Verlag Berlin Heidelberg 1998 Algorithms.An

陈旧

Case Studies Continued: Acknowledged MessagesIn networks of communicating agents, the senders of messages frequently expect acknowledgments from their receivers: Transmission lines may be unreliable or the sender may prevent message overtaking or may wish to wait for further action until a set of messages has reached their respective destination.

平庸的人或物

Case Studies Continued: Network AlgorithmsA distributed algorithm is said to be a . if it is not intended to run on just one fixed network. Rather, a network algorithm is a . of algorithms, to run on any in a whole class of networks, such as the connected networks, the ring- or tree-shaped networks, etc.

抵押贷款

State Properties of Elementary System NetsHere we consider properties of elementary system models that can be described by “at each reachable state holds .”, with . a propositional expression. A typical example was mutual exclusion, with . = ¬(.. ⋀ ..). Techniques to verify such properties include . and ..

hardheaded

不近人情

Concurrent Progress of System NetsThe above interleaving-based progress operator for advanced system nets is now complemented by a concurrency-based operator ↪, in analogy to concurrent progress of elementary system nets, as discussed in Chap. IX.

intangibility

Callus

羞辱

https://doi.org/10.1007/978-3-662-03687-7Algorithms; Analysis; Cluster; algorithm; distributed computing; logic; modeling; petri net; programming; pro

Engulf

分解