Reasoning about real-time repetitions: Terminating and nonterminating (Q700976)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Reasoning about real-time repetitions: Terminating and nonterminating |
scientific article |
Statements
Reasoning about real-time repetitions: Terminating and nonterminating (English)
0 references
16 October 2002
0 references
real-time system
0 references
nonterminating process
0 references
predicative semantics
0 references