Yazar
Ganty, Pierre. editor.
Format:
Electronic Resources
Alıntı:
Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols for open-ended
Yazar
Maffei, Matteo. editor.
Format:
Electronic Resources
Alıntı:
protocols -- Session Types with Gradual Typing -- Corecursion and Non-Divergence in Session-Typed Processes
View Other Search Results
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Concretization for Parallel Program Synthesis -- Automatic Completion of Distributed Protocols with Symmetry
Arama Sonuçlarını Sınırlandır
Daraltılmış: