Colloquium Mathematics - Dr. Jorge A. Perez

Datum 28 March 2019, 16:00 - 17:00
Lokatie Zernike, 5161.0165 (Bernoulliborg)

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.

Organisator Rijksuniversiteit Groningen (email)
Geplaatst door Bernoulli Secretariaat