Résultats de recherche auteurs

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) /

par Chao, Daniel Y.

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

2

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

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

par Liu, GuanJun.

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

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