Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory
- Germany
- joulook.github.io
- @Mh_khoshechin
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Stars
3
stars
written in HTML
Clear filter
Curated list of resources on testing distributed systems
🦑 Informal definitions of terms used in concurrency modeling
A beautiful, simple, clean, and responsive Jekyll theme for academics