Instances

• Action Calculi
• Behave @ Microsoft
• BioSPI (based on Stochastic Pi)
• Buisness Process Modeling Initiative
• Mobile Ambients - Cardelli's Ambit
• Blue
• Distributed Pi
• Functional Nets
• Join Calculus
• Seal Calculus
• Spi Calculus
• TyCO: Typed Concurrent Objects