The Language of Certain Conflicts of a Nondeterministic Process

Free registration required

Executive Summary

The language of certain conflicts is the most general set of behaviors of a nondeterministic process, which certainly lead to a live-lock or deadlock when accepted by another process running in parallel. It is of great use in model checking to detect livelocks or deadlocks in very large systems, and in process-algebra to obtain abstractions pre-serving livelock and deadlock. Unfortunately, the language of certain conflicts is difficult to compute and has only been approximated in previous work.

  • Format: PDF
  • Size: 199.93 KB