Xinxin Liu

Affiliations:

According to our database¹, Xinxin Liu authored at least 4 papers between 1995 and 2000.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2000

Concurrent objects as mobile processes.

[BibT_eX]

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1998

Partial Confluence of Proceses and Systems of Objects.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1998

1995

Confluence of Processes and Systems of Objects.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

A Polymorphic Type System for the Polyadic pi-calculus.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '95: Concurrency Theory, 1995