Extended pi-Calculi

DOI10.1007/978-3-540-70583-3_8MaRDI QIDQ3520306zbMATH OpenOpenAlexFDO

Authors Magnus Johansson, Joachim Parrow, Björn Victor, Jesper Bengtson

Publication date 19 August 2008

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70583-3_8

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• -calculi
• scientific article; zbMATH DE number 1420796
• A functional presentation of pi calculus
• Extensions of PI-algebras
• A spatial extension to the calculus
• A Look Around the Corner: The Pi-Calculus
• On computing pi-coefficients
• Proof system for applied pi calculus
• The -calculus: An introduction

Cited in

(7)

• A complete symbolic bisimulation for full applied pi calculus
• A sorted semantic framework for applied process calculi
• A sorted semantic framework for applied process calculi (extended abstract)
• A spatial extension to the calculus
• Psi-calculi: a framework for mobile processes with nominal data and logic
• The attributed pi-calculus with priorities
• Reversing Higher-Order Pi

This page was built for publication: Extended pi-Calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3520306)