Searching for "Temporal Logic with Fixed Points." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Freedom, Weakness, and Determinism: From Linear-time to Branching-time
- …. The ��-calculus is a branching-time temporal logic with fixed-point operators. As such, it is a convenient logic…
- Cited by 1 (0 self) – Add To MetaCart
-
666 BIBLIOGRAPHY
- … Study of an Extended Temporal Logic and a Temporal Fixed Point Calculus. Technical Report UMCS-86…
- Add To MetaCart
-
Languages, Automata, and Logic
- … automaton was refined and extended to allow practical use. Temporal logics and fixed-point logics took…
- Cited by 130 (3 self) – Add To MetaCart
-
Deciding weak monadic second-order logics using complexvalue datalog
- … expressive power. The practical use of this connection was investigated for temporal logics and fixed-point…
- Cited by 1 (1 self) – Add To MetaCart
-
Lifting assertion and consistency checkers from single to multiple viewpoints
- …-view semantics of a branching-time temporal logic with fixed-points that interprets logical connectives…
- Cited by 5 (2 self) – Add To MetaCart
-
2005) A model checking verification environment for UML Statecharts
- … supporting model checking of a state/event based temporal logic with fixed point operators. Linear time model…
- Cited by 1 (0 self) – Add To MetaCart
-
Proof Systems for pi-Calculus Logics
- …, and primitives for name input and output as an appropriate temporal logic for the pi-calculus. A compositional…
- Cited by 5 (0 self) – Add To MetaCart
-
Compositional Verification of Mobile Process Networks
- …), and of the temporal logic (fixed points, alternation, quantification, equality and inequality, input and output…
- Add To MetaCart
Showing 1 through 8.
