Process Specification and Verification


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


3 Figures and Tables

Slides referencing similar topics