Process Specification and Verification

Abstract

A distributed system is a network of processes which exchange messages over channels. If channels are buffered and shared by several processes, message passing is asynchronous. A typical example for this kind of network are actors [1]. For synchronous message passing, each channel connects exactly two processes and these processes must engage simultaneously… (More)
DOI: 10.1007/3-540-61228-9_90

Topics

3 Figures and Tables

Slides referencing similar topics