PDF

Description

We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be partially confluent than previous approaches, and is able to handle a mix of different kinds of communication channels, including shared reference cells.

Details

Files

Statistics

from
to
Export
Download Full History