Search this site
Embedded Files
Skip to main content
Skip to navigation
Jinjiang Lei's Homepage
About Me
Contact
Publications
Modular Reasoning for Message-passing Programs
Rely-Guarantee Modular Based Reasoning for Message-Passing Programs
Thesis
Trace-Based Temporal Verification for Message-Passing Programs
Verification of Scalable Synchronous Queue
Jinjiang Lei's Homepage
About Me
Contact
Publications
Modular Reasoning for Message-passing Programs
Rely-Guarantee Modular Based Reasoning for Message-Passing Programs
Thesis
Trace-Based Temporal Verification for Message-Passing Programs
Verification of Scalable Synchronous Queue
More
About Me
Contact
Publications
Modular Reasoning for Message-passing Programs
Rely-Guarantee Modular Based Reasoning for Message-Passing Programs
Thesis
Trace-Based Temporal Verification for Message-Passing Programs
Verification of Scalable Synchronous Queue
Contact
Google Sites
Report abuse
Page details
Page updated
Google Sites
Report abuse