Process Calculi - Mathematics of Processes

Mathematics of Processes

To define a process calculus, one starts with a set of names (or channels) whose purpose is to provide means of communication. In many implementations, channels have rich internal structure to improve efficiency, but this is abstracted away in most theoretic models. In addition to names, one needs a means to form new processes from old. The basic operators, always present in some form or other, allow:

  • parallel composition of processes
  • specification of which channels to use for sending and receiving data
  • sequentialization of interactions
  • hiding of interaction points
  • recursion or process replication

Read more about this topic:  Process Calculi

Famous quotes containing the words mathematics and/or processes:

    I must study politics and war that my sons may have liberty to study mathematics and philosophy.
    John Adams (1735–1826)

    It has become a people’s war, and peoples of all sorts and races, of every degree of power and variety of fortune, are involved in its sweeping processes of change and settlement.
    Woodrow Wilson (1856–1924)