Søgeresultater for Forfatter

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

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

af Liu, GuanJun.

Andre forfattere: “...Chao, Daniel Y....”

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