process-calculi

Articles

• Process calculusFamily of approaches for modelling concurrent systems
• Process calculusFamily of approaches for modelling concurrent systems
• Join-calculus
• Algebra of communicating processesAlgebraic approach to reasoning about concurrent systems
• Process calculusFamily of approaches for modelling concurrent systems
• Temporal Process LanguageProcess calculus which extends Robin Milner's CCS
• Process calculusFamily of approaches for modelling concurrent systems
• Process calculusFamily of approaches for modelling concurrent systems