A BRICS Mini-Course
April 27-29, 2004
Frank D. Valencia, email@example.com
Dept. of Information Technology, Computer Systems, Uppsala University, Sweden
The minicourse is brief introduction to some representative process calculi in concurrency. We shall discusss Process calculi for Communicating Systems (CCS), for Mobility (Pi Calculus) and for shared-memory (CCP: Concurrent Constraint Programming).
The mini-course does not presuppose knowledge in Concurrency Theory.
Frank D. Valencia got his PhD from BRICS, Univ. of Aarhus, in 2003. Currently he is a postdoc at Uppsala University. His research is within Concurrency Theory; in particular Process Calculi, Concurrent Constraint Programming and Temporal Logics.