Research Group
·
Research Group on Concurrent Models of Computation
.