occam-pi

MaRDI QIDQ19199swMATHFDO

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
• KRoC
• Pistache
• Pict
• Separation Logic Semantics for Communicating Processes
• 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