Go backward to Additional Temporal Operators
Go up to Top
Go forward to Further Propositions
Additional Temporal Operators
- _|_
- is orthogonal to .
- No step will make both and false.
- Behavior sigma satsfies _|_ iff there is no
such that both and are true for the first states of
sigma and false for the first states of sigma.
- _|_ (A() _|_ A)
- Relationships:
- ( _|_ ) (( -|> ) (
-|>+ ))
- ( -|>+ ) ( -|> )
and ( _|_ )
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: spec1.tex,v 1.1 1996/05/13 09:04:04 schreine Exp schreine