## Compositional verification of distributed systems |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Introduction ll | 11 |

Related Models | 17 |

Modeling IOSystems | 25 |

Copyright | |

3 other sections not shown

### Common terms and phrases

Assume atomic operation bufe buffer guarantee buffered trace bufj bufx chain rule communication events component transitions composition and abstraction contains corresponding database datum DBMi defined definition denote distributed systems element equivalence classes example fairness requirement fairness set FIFO channels finite follows guarantee requirement HDLC history model implication infinite sequence input buffered input channel input events joint R-transitions Kahn-networks Lamport lemma linear temporal logic liveness properties liveness requirements models of I/O-systems multiset node nondeterministic obtained occur output channel output events outstanding messages partial order Plusl proof rules protocol prove quiescent traces request message resolution message rqbi rsbi safety properties satisfies sequence number sequence of communication sequence of events sequence of transitions set-representation silent transitions simulation relation specification and verification stampi subset theorem trace specifications transition formula transition of form transition systems transition type tuple TV sat update requests variables verify voted votedi well-founded sets