×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [principles of concurrent]
Home >
principles of concurrent
The SPIN System. What is SPIN? Model-checker. Based on automata theory. Allows LTL or automata specification Efficient (on-the-fly model checking, partial.
221 views
Programmazione Concorrente e Distribuita Linguaggi e concorrenza.
228 views
Why Be Concurrent?
19 views
Threading Libraries
50 views
Why Be Concurrent?
28 views
Concurrent Programming
76 views
Parallel Algorithms
46 views
Parallel Algorithms
35 views