occam-pi

swMATH7145MaRDI QIDQ19199FDOQ19199

Author name not available (Why is that?)

Official website: http://www.wotug.org/occam/

Described by source

• Communicating Sequential Processes. The First 25 Years

Cited In (8)

• BlenX Static and Dynamic Semantics
• Denotational semantics of channel mobility in UTP-CSP
• Separation Logic Semantics for Communicating Processes
• KRoC
• Pistache
• Pict
• PiStache: implementing \(\pi \)-calculus in Scala
• Cause-effect structures. An algebra of nets with examples of applications

This page was built for software: occam-pi