Report - BRICS · BRICS RS-03-39 J. Abendroth: Applying π-Calculus to Practice: An Example of a Unified Security Mechanism BRICS Basic Research in Computer Science Applying π-Calculus to

Please pass captcha verification before submit form