Concurrent Computing - Models of Concurrency

Models of Concurrency

There are several models of concurrent computing, which can be used to understand and analyze concurrent systems. These models include:

  • Actor model
    • Object-capability model for security
  • Petri nets
  • Process calculi such as
    • Ambient calculus
    • Calculus of Communicating Systems (CCS)
    • Communicating Sequential Processes (CSP)
    • π-calculus

Read more about this topic:  Concurrent Computing

Famous quotes containing the words models of and/or models:

    The parents who wish to lead a quiet life I would say: Tell your children that they are very naughty—much naughtier than most children; point to the young people of some acquaintances as models of perfection, and impress your own children with a deep sense of their own inferiority. You carry so many more guns than they do that they cannot fight you. This is called moral influence and it will enable you to bounce them as much as you please.
    Samuel Butler (1835–1902)

    Friends broaden our horizons. They serve as new models with whom we can identify. They allow us to be ourselves—and accept us that way. They enhance our self-esteem because they think we’re okay, because we matter to them. And because they matter to us—for various reasons, at various levels of intensity—they enrich the quality of our emotional life.
    Judith Viorst (20th century)