The DisCoVeri group is part of York University in Toronto. Its members carry out research in the areas of distributed computing, concurrency and verification. Currently, the group consists of two professors and three students.
The DisCoVeri group is part of York University in Toronto. Its members carry out research in the areas of distributed computing, concurrency and verification. Currently, the group consists of two professors and three students.