Auteur zoekresultaten

1

Fewer monitors and more efficient controllability for deadlock control in S3PGR2 (Systems of simple sequential processes with general resource requirements) /

Fewer monitors and more efficient controllability for deadlock control in S3PGR2 (Systems of simple sequential processes with general resource requirements) /

door Chao, Daniel Y.

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

2

Sequence of control in S3PMR /

Sequence of control in S3PMR /

door Shih, Yu-Ying.

Andere auteurs: “...Chao, Daniel....”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

3

A necessary and sufficient condition for the liveness of normal nets /

A necessary and sufficient condition for the liveness of normal nets /

door Liu, GuanJun.

Andere auteurs: “...Chao, Daniel Y....”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt