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… 
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… 
2013
2013
Finding Paths with Minimum Shared Edges in Graphs with Bounded Treewidth
— Given a positive integer p , a graph G and a pair of two terminals s and t in G , the minimum shared-edge paths problem is to… 
Review
2011
Review
2011
Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus
We give an overview of a rigorous approach to Web Services composition based on theorem proving in the proof assistant HOL Light… 
2011
2011
A performability analysis of mobile wireless sensor networks with probabilistic model checking
This article presents a method to check the per-formability of mobile wireless sensor networks. After introducing this method… 
2005
2005
A calculus for reasoning about software composition
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… 
1995
1995
A name-free account of action calculi
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)