Home >
domains >
www.cs.technion.ac.il
Katz, Shmuel
The Technion - Language constructs for distributed programming (superimposition, multiparty interactions, reconciliations), tools for design and programming of distributed systems (debugging, domain archetypes), interleaving set temporal logic (including for cache consistency), self-stabilization and fault-tolerance, formal specification methods.
|
Keyword |
Results for this URL |
Total searches |