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.

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

1998

Partial Confluence of Proceses and Systems of Objects.

[DOI]

Theor. Comput. Sci., 1998

1995

Confluence of Processes and Systems of Objects.

[DOI]

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

A Polymorphic Type System for the Polyadic pi-calculus.

[DOI]

Proceedings of the CONCUR '95: Concurrency Theory, 1995