Π-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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
The λΠ-calculus forms one of the vertices in Barendregt’s λ-cube and has been used as the core language for a number of logical… (More)
  • figure 3
  • figure 4
Is this relevant?
2011
2011
The management of the operations acting over distributed an d virtual resources plays an important role for achieving the success… (More)
  • figure 1
  • figure 3
Is this relevant?
2007
2007
The SL synchronous programming model is a relaxation of the Esterel synchronous model where the reaction to the absence of a… (More)
  • table 1
  • table 2
Is this relevant?
2005
2005
It is assumed in the π-calculus that communication channels are always noiseless. But it is usually not the case in the mobile… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
ing state change and modification as a message sent from one of the processes to the other one. Each of these two abstractions… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
2001
2001
We present a type discipline for the π-calculus which precisely captures the notion of sequential functional computation as a… (More)
Is this relevant?
2000
2000
We propose an extension of the asynchronous π-calculus with a notion of random choice. We define an operational semantics which… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Despite the rapidly accumulating body of knowledge about protein networks, there is currently no convenient way of sharing and… (More)
  • figure 1
  • table 1
  • figure 2
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Some people may be laughing when looking at you reading in your spare time. Some may be admired of you. And some may want be like… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
  • Ian Stark BRICS
  • 1997
Abramsky’s domain equation for bisimulation and the author’s categorical models for names combine to give a domain-theoretic… (More)
Is this relevant?