Department of Information Technology

Some Publications by the Concurrency Group

See also the searchable bibliography on calculi for mobile processes.

Updated  2020-06-01 17:49:38 by Arve Gengelbach.