David Sabel Manfred Schmidt-Schauß Observing Success in the Pi-Calculus. 31-46 2015 WPTE@RDP https://doi.org/10.4230/OASIcs.WPTE.2015.31 conf/rta/2015wpte db/conf/rta/wpte2015.html#SabelS15