Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem by

Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem

Lecture Notes in Computer Science

143 pages • missing pub info (editions)

nonfiction computer science design science medium-paced
Powered by AI (Beta)
Loading...

Description

This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Li ge, Belgium, with Pierre Wolper as thesis advisor.The general pattern of this work, is to turn logical and semantic ideas into exploitable algorith...

Read more

Community Reviews

Loading...

Content Warnings

Loading...