occam-pi

swMATH7145MaRDI QIDQ19199FDOQ19199

Author name not available (Why is that?)

Described by source

• Communicating Sequential Processes. The First 25 Years

Cited In (5)

• BlenX Static and Dynamic Semantics
• PiStache: Implementing π-Calculus in Scala
• Denotational semantics of channel mobility in UTP-CSP
• Separation Logic Semantics for Communicating Processes
• Cause-effect structures. An algebra of nets with examples of applications

This page was built for software: occam-pi