Skip to search formSkip to main contentSkip to account menu

Π-calculus

Known as: Pi-calculus, Π calculus, Calculus (disambiguation) 
In theoretical computer science, the π-calculus (or pi-calculus) is a process calculus. The π-calculus allows channel names to be communicated along… 
Wikipedia (opens in a new tab)

Related topics

Related topics

22 relations
API-CalculusAbstract syntaxAndrew D. GordonBisimulation

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Investigational Validation of PV Based DCD-MLI Using Simplified SVM Algorithm Utilizing FPGA Tied with Independent Sources
This paper presents the independent source tied photovoltaic (PV) based three-phase three-level diode-clamped-multilevel… 
2014
2014
Evaluating the appropriateness of the BPMN 2.0 standard for modeling service choreographies: using an extended quality framework
The concept of choreography has emerged over the past years as a foundational concept for capturing and managing collaborative… 
2013
2013
A model of large-scale Device Collaboration system based on PI-Calculus for green communication
In recent years, there has been an increasing interest to reduce the electricity bill and increase the energy efficiency of large… 
2006
2006
Smooth Orchestrators
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located… 
Review
2004
Review
2004
Modelling in Molecular Biology
Stoichiometric Foundation of Large-Scale Biochemical System Analysis.- Modelling Stochastic Clonal Interference.- Software… 
2003
2003
A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack
In order to describe and analyze cryptographic protocols, several researchers have proposed formal frameworks and have studied… 
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires… 
Highly Cited
1996
Highly Cited
1996
Linearity and the pi-calculus
The economy and flexibility of the pi-calculus make it attractive both as an object of theoretical study and as a basis for… 
1996
1996
A Partition Refinement Algorithm for the pi-Calculus (Extended Abstract)
Centering and wear compensating means for turret bores and the like. Plugs of a suitable resilient, long wearing, self… 
Highly Cited
1993
Highly Cited
1993
A sort inference algorithm for the polyadic π-calculus
In Milner's polyadic π-calculus there is a notion of sorts which is analogous to the notion of types in functional programming… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)