Congruence formats for weak readiness equivalence and weak possible future equivalence /

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Huang, Xiaowei.
מחברים אחרים:	Jiao, Li., Lu, Weiming.
פורמט:	Bài viết
שפה:	English
נושאים:	Congruence formats Structural operational semantics Weak equivalences
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

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

פריטים דומים