b'\n_START_ARTICLE_\nSlijedni priop\xc4\x87ajni postupci\n_START_PARAGRAPH_\nU ra\xc4\x8dunarstvu, slijedni priop\xc4\x87ajni postupci (obi\xc4\x8dno kao CSP - od engl. Communicating Sequential Processes) je formalni jezik za opis uzoraka interakcije u konkurentnim sustavima. \xc4\x8clan je porodice matemati\xc4\x8dkih teorija konkurentnosti poznate kao procesne algebre, ili procesni ra\xc4\x8duni. CSP je utjecao na razvoj programskog jezika Occam._NEWLINE_CSP je prvi put opisan u radu iz 1978. autora C. A. R. Hoarea, ali je s vremenom znatno uznapredovao. CSP je prakti\xc4\x8dno primijenjen u industriji kao alat za specificiranje i verificiranje konkurentnih aspekata raznih sustava - poput T9000 transpjutora, i sustava za sigurno elektroni\xc4\x8dko poslovanje.  Akademske primjene CSP-a ga obi\xc4\x8dno uklju\xc4\x8duju kao alat za istra\xc5\xbeivanje u teoriji konkurentnosti, na na\xc4\x8din na koji su apstrakni strojevi kori\xc5\xa1teni za prou\xc4\x8davanje slijednih sustava. Sama teorija CSP-a je jo\xc5\xa1 uvijek predmet aktivnog istra\xc5\xbeivanja, uklju\xc4\x8duju\xc4\x87i rad koji se odnosi na pove\xc4\x87anje opsega prakti\xc4\x8dne primjenjivosti (npr. pove\xc4\x87anje skale sustava koji mo\xc5\xbee biti ukrotivo analiziran).'