A concurrent extension of C based on decomposed Petri nets. It uses the 'handshake' and 'unit' constructs.
["ConC: A Language for Distributed Real-Time Programming", V.K. Garg et al, Computer Langs 16(1):5-18 (1991)].