A model for enabling concurrent [[Programming]]. Most languages have some support for concurrency using various different models.