A hierarchy of behavioral equivalences in the -calculus with noisy channels /
Đã lưu trong:
Tác giả chính: | Cao, Yongzhi. |
---|---|
Định dạng: | Bài viết |
Ngôn ngữ: | English |
Những chủ đề: | |
Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Những quyển sách tương tự
-
On the behavioral equivalence between k-data structures /
Bỡi: Martins, Manuel A. -
Tạp chí PI
Bỡi: Hội Toán học Việt Nam -
A unified theory of program logics : An approach based on the pi-calculus /
Bỡi: Honda, Kohei. -
Raspberry Pi for kids for dummies
Bỡi: Wentk, Richard
Được phát hành: (2015) -
Congruence formats for weak readiness equivalence and weak possible future equivalence /
Bỡi: Huang, Xiaowei.