In this technique a special message, the poison, is sent to one process of the network, this is the reason why this technique is also referred to as poisoning.

This paper presents a novel technique for safe partial or complete process network termination. The idea is to have two types of termination messages / poison: ...

JCSP-Poison: Safe termination of CSP process networks. B. Sputh, Alastair Robert Allen · Medical Sciences · Centre for Energy Transition · Engineering.

Poisoning is an effective technique for the safe interruption of processes and termination of process networks or sub-networks (of any connected topology).

Injecting GlobalPoison into a process network results in a safe termination of the whole process network. In contrast, injected LocalPoison only terminates all ...

This paper presents a novel technique for safe partial or complete process network termination. The idea is to have two types of termination messages ...

This paper presents a novel technique for safe partial or complete process network termination. The idea is to have two types of termination messages ...

However, JCSP now supports graceful termination of process networks and sub-networks through a notion of poisoning synchoronisation objects (e.g. channels) – ...

Previously, JCSP offered no safe way to terminate the process network. When the user terminated the program, the Java Virtual Machine (JVM) simply stops all ...

Jul 1, 2007 · JCSP-Poison: Safe Termination of CSP Process Networks · B. SputhA. Allen. Computer Science. Communicating Process Architectures Conference. 2005.