Martin Wirsing

最新发表

Mingsheng Ying, Martin Wirsing (2001). Recursive equations in higher-order process calculi. Theoretical Computer Science.

引用 DOI URL

Mingsheng Ying, Martin Wirsing (2000). Approximate Bisimilarity. Algebraic Methodology and Software Technology.

引用