The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems · Study