scholarly article
Not who you're looking for? Others named Communicating sequential processes: formal language for concurrent systems