Advertisement

A Partial Order Approach

Chapter

Abstract

This chapter deals with the question of how independence of events in concurrent systems contributes to the state explosion problem, and how a partially ordered representation can avoid this problem.

Keywords

Cutoff Point Simple Game Symbolic Model Check Firing Sequence Local Configuration 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1993

Authors and Affiliations

  1. 1.Carnegie Mellon UniversityAustralia

Personalised recommendations