http://www.caltech.edu/~ifilippi
Synthesis of distributed systems with formal guarantees of correctness.
Submitted
4 years ago | 65 downloads |
Submitted
6 years ago | 56 downloads |
8 years ago | 1
| accepted
Submitted
9 years ago | 4 downloads |
Submitted
9 years ago | 1 download |
Submitted
9 years ago | 2 downloads |
Submitted
9 years ago | 2 downloads |
Submitted
9 years ago | 1 download |
Submitted
9 years ago | 4 downloads |
Submitted
9 years ago | 20 downloads |