Excommunication: transforming \(\pi \)-calculus specifications to remove internal communication

DOI10.1007/978-3-031-22476-8_7zbMath1528.68252OpenAlexW4312257346MaRDI QIDQ6113902

Benjamin Aziz, Geoff W. Hamilton

Publication date: 10 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-22476-8_7

zbMATH Keywords

transformationanalysissimplification\( \pi \)-calculus

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Deforestation: Transforming programs to eliminate trees
• A calculus of mobile processes. I
• A calculus of mobile processes. II
• Transforming constraint logic programs
• The concept of a supercompiler
• A Transformation System for Developing Recursive Programs
• A positive supercompiler

This page was built for publication: Excommunication: transforming \(\pi \)-calculus specifications to remove internal communication