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

Lecture Notes in Computer Science

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

143 pages paperback

1 edition

nonfiction computer science design science medium-paced
More Options

Read With Others

Book Information

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...

Show More

Community Reviews

Loading...

Content Warnings

Loading...