Title: Formal Models of Concurrency
Concurrency is one of the most exciting phenomena in computation.
Intuitively, concurrency refers to "things that occur at the same
time". While the foundations of sequential computing have now been
settled, a rigorous account of the foundations of concurrent
computation has only been developed in the last 20-30 years. This talk
gives a high-level overview to models of concurrent computation that
lie on rigorous mathematical foundations. The emphasis is on process
calculi, a class of models which can be simultaneously seen as small
programming languages and as mathematical objects.