Events, causality and symmetry /
Đã lưu trong:
Tác giả chính: | Winskel, Glynn. |
---|---|
Đị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ự
-
A necessary and sufficient condition for the liveness of normal nets /
Bỡi: Liu, GuanJun. -
Generalized nets /
Bỡi: Atanassov, Krassimir T.
Được phát hành: (1991) -
Generalized nets /
Bỡi: Atanassov, Krassimir T.
Được phát hành: (1991) -
Sequence of control in S3PMR /
Bỡi: Shih, Yu-Ying. -
Application and Theory of Petri Nets and Concurrency:
36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
Bỡi: Devillers, R, et al.
Được phát hành: (2015)