Luming Lai

According to our database¹, Luming Lai authored at least 4 papers between 1995 and 1998.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1998

An Unbounded Nondeterministic Model for CSP-like Languages.

[BibT_eX]

[DOI]

Proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998, 1998

1997

A Refinement Calculus for Communicating Processes with State.

[BibT_eX]

[DOI]

Proceedings of the 1st Irish Workshop on Formal Methods, 1997

A Case Study in Timed CSP: The Railroad Crossing Problem.

[BibT_eX]

[DOI]

Proceedings of the Hybrid and Real-Time Systems, 1997

1995

A Unified Model for CSP-like Languages with Specifications.

[BibT_eX]

Proceedings of the Formal Description Techniques VIII, 1995