検索結果 - "Structural operational semantics"

1

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

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

著者: Huang, Xiaowei.

主題: “...Structural operational semantics...”

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