The models of computation listed above give different interpretations of what a procedure is and how it is used, but these interpretations share many properties.
Τα μοντέλα υπολογισμού που αναφέρονται παραπάνω δίνουν διαφορετικές ερμηνείες του τι είναι μία διαδικασία και πώς χρησιμοποιείται, αλλά αυτές οι ερμηνείες έχουν πολλές ιδιότητες.