Psi-calculi: a framework for mobile processes with nominal data and logic

  title={Psi-calculi: a framework for mobile processes with nominal data and logic},
  author={Jesper Bengtson and Magnus Johansson and Joachim Parrow and Bj{\"o}rn Victor},
  journal={Logical Methods in Computer Science},
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processes and their names can be statically scoped as in the standard pi-calculus. Psi-calculi can capture the same phenomena as other proposed extensions of the pi-calculus such as the applied pi-calculus, the spi-calculus, the fusion calculus, the concurrent constraint pi-calculus, and calculi with polyadic communication… CONTINUE READING
Highly Cited
This paper has 74 citations. REVIEW CITATIONS


Publications citing this paper.

74 Citations

Citations per Year
Semantic Scholar estimates that this publication has 74 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 41 references

Formalising Process Calculi

Jesper Bengtson
PhD thesis, • 2010

Weak Equivalences in Psi-Calculi

2010 25th Annual IEEE Symposium on Logic in Computer Science • 2010

Formalising the picalculus using nominal logic Psi - calculi in Isabelle . In Stefan Berghofer , Tobias Nipkow , Christian Urban , and Makarius Wenzel , editors

Marco Carbone, Sergio Maffeis
Personal communication , January • 2009

Psi-Calculi in Isabelle

Journal of Automated Reasoning • 2009

Psi-calculi: Mobile Processes, Nominal Data, and Logic

2009 24th Annual IEEE Symposium on Logic In Computer Science • 2009

Nominal Techniques in Isabelle/HOL

Journal of Automated Reasoning • 2008

Similar Papers

Loading similar papers…