Login / Signup
Luming Lai
Publication Activity (10 Years)
Years Active: 1995-1998
Publications (10 Years): 0
</>
Publications
</>
Luming Lai
An Unbounded Nondeterministic Model for CSP-like Languages.
IWFM
(1998)
Luming Lai
,
Jeff W. Sanders
A Refinement Calculus for Communicating Processes with State.
IWFM
(1997)
Luming Lai
,
Phil Watson
A Case Study in Timed CSP: The Railroad Crossing Problem.
HART
(1997)
Luming Lai
A Unified Model for CSP-like Languages with Specifications.
FORTE
(1995)