My simple examples:
002.chp  : Single Communication
003.chp  : Simple broken Communication
004.chp  : Infinite Communication
005.chp  : Simple Deterministic Choice
006.chp  : Simple broken choice
009.chp  : Simple shared
010.chp  : Complex broken choice
011.chp  : Complex broken sharing
012.chp  : A lot of channels
013.chp  : Simple bad sharing
014.chp  : Interesting good sharing
017.chp  : Choice with hidden deadlock
020.chp  : Simple integers
021.chp  : Integers with multiple selection

Ned's examples:
Ned.jpg  : Images that Ned sent me
ned1.chp : Endless token parsing    -- OK
ned2.chp : Shared Channel           -- BAD
ned3.chp : Four shared channels, v1 -- OK 
ned4.chp : Four shared channels, v2 -- BAD
ned5.chp : Negated probes           -- BAD (not even correct within the language... jeez Ned)
ned6.chp : Thought deadlocking process     -- BAD 
ned7.chp : Thought deadlock-free processes -- BAD

Microprocessor examples: From Martin89 "The Design of an Asynchronous Microprocessor"
m_pc.chp : PC example from paper
micro.chp : Sequential microprocessor, some of it using interface specifications
micro_arch.chp : Separate ALU and memory operations into their own processes
