Liveness characterization for GFC systems(Ⅰ)

Liveness characterization for GFC systems(Ⅰ)

The significant features concerning liveness of generalized free-choice (GFC) systems are discussed.These features provide a sound basis for analyzing liveness of GFC systems in a reductive approach.What is interesting is that the characterization is just based on deadlocks,rather than on both deadl...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:中国科学：技术科学英文版 1996 (2), p.196-205
1. Verfasser: 曹存根
Format: Artikel
Sprache:eng
Schlagworte:
free-choice
generalized
liveness
net
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The significant features concerning liveness of generalized free-choice (GFC) systems are discussed.These features provide a sound basis for analyzing liveness of GFC systems in a reductive approach.What is interesting is that the characterization is just based on deadlocks,rather than on both deadlocks and traps as Commoner characterizes the liveness of ordinary free-choice systems.Several proof techniques for proving liveness-related features of GFC systems are introduced.
ISSN:1674-7321
1869-1900