Concurrent and Distributed Systems Group

Group Focus

models for concurrent, parallel and distributed systems formal methods specification and verification applications in security

Members

Activities

Projects

Publications