Skip to ContentSkip to Navigation
Research Bernoulli Institute Calendar Colloquia - Computer Science

Colloquium Computer Science - Dr. Jorge A. Perez University Groningen

When:Tu 28-05-2019 16:00 - 17:00
Where:5161.0165 Bernoulliborg

Title: Formal Models of Concurrency

Abstract:

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.