The toolset is based on Circal (CIRcuit CALculus) a process algebra with the following characteristics: - Processes are guarded by sets of actions that are always performed simultaneously and an arbitrary number of processes can synchronize on the same action.
展开▼