PiStache: Implementing π-Calculus in Scala

DOI10.1007/978-3-642-25032-3_6zbMath1349.68128OpenAlexW142217671MaRDI QIDQ3098054

Ana C. V. de Melo, Pedro Matiello

Publication date: 11 November 2011

Published in: Formal Methods, Foundations and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-25032-3_6

zbMATH Keywords

pi-calculusreconfigurationScala

Mathematics Subject Classification ID

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

Related Items (1)

Pistache

Uses Software

• occam-pi
• Scala
• Pict

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of mobile processes. I
• Psi-calculi: a framework for mobile processes with nominal data and logic
• Communicating sequential processes
• Purely Functional Data Structures
• Communicating Sequential Processes. The First 25 Years
• Structured Communication-Centred Programming for Web Services

This page was built for publication: PiStache: Implementing π-Calculus in Scala