We present COBS — a model of a concurrent object-based computational system with handshakes as elementary actions of inter-process communication. Processes are considered to be partial views of the system. Their communication by asynchronous message passing and variable sharing is modeled by elementary processes on the same abstraction level. The same acts of computation and communication can b...