Modelele fundamentale de concurenţă sunt subiecte importante ale diverselor studii în ştiinţa calculatoarelor. Majoritatea din ele sunt determinate de formalisme matematice prin care sunt descrise şi analizate. Scopul lor ar fi, din punct de vedere teoretic, să ofere mijloace pentru înţelegerea sistemelor şi comportamentului acestora și, din punct de vedere practic, să contribuie la dezvoltarea metodelor de analiză şi proiectare.